ears

NickAc's Minecraft Skin Renderer - Render Minecraft skins with true perspective

Faithful fancy fashion features for fuzzy folk.

Linked-Intent Development - a SDD methodology for agentic coding

Governance-enforced Requirements Engineering für KRITIS, NIS2 und DORA. Claude-Skill mit EARS, Gherkin, STRIDE, F-Stufen und Phase Gates.

本书要解决的问题只有一个：如何让AI在有限的token预算下，第一次就生成可信的代码，而不是靠反复来回试错去逼近正确答案。

The definitive guide to Spec-Driven Development: build software with AI agents, from method to production code. Book in EN + pt-BR with a ready-to-use SDD kit for Claude Code.

🦊 An app to control Tail Company gear

Write requirements faster using intuitive EARS syntax in VS Code, supported by syntax highlighting and code completion.

AI-powered automotive systems engineering skill: INCOSE/EARS requirements analysis, MISRA-C compliance, SAE J3016 ADAS levels, ISO 26262 ASIL, AUTOSAR, SOTIF. Works with Claude Code, ChatGPT Custom GPTs, Cursor, and any AI tool.

Turn a legacy codebase into a verifiable, versionable knowledge graph of its business rules — LLM map/reduce inside deterministic verifiers, language-agnostic via tree-sitter.

Quick implementation of conformance to requirements template like EARS, RUPP & AGILE user story

基于 EARS 规范，将模糊的业务想法转化为清晰、结构化、AI 易读的需求文档

Write software specifications an AI coding agent can execute: EARS/SHALL requirements, a determinism boundary, and a /specify interviewer that emits the spec + build prompt (or the skill/agent artifact).

Tools for helpings with EARS (Easy Approach to Requirements Syntax) when using SDD (Spec driven development)

tools for the adv-ears requirements format

GOATEQ is a fork of "EARS" which is not available anymore for newer Chrome Browsers

Spec layer for AI coding agents: turn intent into EARS requirements and verification obligations

Claude Code plugins for spec-first development: every agent claim cites a source, every code change traces to a requirement, and ceremony scales to the weight of the task.

Neurosymbolic EARS spec checker for coding agents: write requirements, and a Z3 SMT prover (optional Lean 4) proves when they cannot all hold — naming the culprits. Embeddings propose vocabulary links; the sound prover decides. Honest by design: it says verified:false and hands back a work list. Red-teamed; every escape is a pinned test.