Top AI Repos — open-source AI, indexed and scored
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
`agent-spec` is an AI-native BDD/spec verification tool for task execution.
| Date | Stars |
|---|---|
| 2026-07-31 | 440 |
| 2026-08-05 | 443 |
| 2026-08-06 | 443 |
Today
— stars today
This week
— stars this week
This month
— stars this month
Momentum
35.0
growth rate 0.00%/day
# agent-spec
[](https://crates.io/crates/agent-spec)
[](https://docs.rs/agent-spec)
[](https://github.com/ZhangHanDong/agent-spec/actions/workflows/contract-guard.yml)
[](https://opensource.org/licenses/MIT)
`agent-spec` is an **intent compiler（意图编译器）** for AI agent coding: it compiles
human intent — through structured requirements as the intermediate representation
(IR) — into verifiable Task Contracts, then mechanically verifies the implementation
against them. BDD/spec verification is the backend of that compiler.
The compilation pipeline:
- **intent** (PRDs, issues, conversations) is captured as structured **requirements** — the IR
- requirements lower into **Task Contracts** — the verifiable target
- agents implement against the contract; the machine verifies the code satisfies it
- **liveness tracing** keeps compiled knowledge honest after the fact
The core review loop stays simple: humans review the contract, agents implement
against the contract, the machine verifies whether the code satisfies the contract.
## Architecture: the Intent Compiler
> Current pipeline below; the detailed contracts for Requirement Governance,
> Code Graph IR, Intent-Code Linker, Quality Planning, and Execution Bundles
> live in [`docs/intent-compiler/architecture.md`](docs/intent-compiler/architecture.md).
```mermaid
flowchart TD
subgraph SRC["源 · Human Intent"]
A["PRD · Issues · 对话"]
end
subgraph FE["前端 · Intake"]
B["agent-spec-intent-compiler skill<br/>AI drafts Candidate Requirement Blocks,<br/>a human reviews and accepts"]
C["agent-spec requirements import<br/>deterministic — marked blocks or YAML dialect"]
CG{"Requirement Governance Gate<br/>proposed → accepted / rejected"}
end
subgraph IR["中间表示 · Requirement IR"]
D["accepted knowledge/requirements/*.md<br/>REQ-* clauses · MUST / SHOULD / MAY"]
E["lint-knowledge --gate<br/>EARS · ISO-29148 · governance"]
F["requirements graph --gate<br/>dependency DAG validation"]
end
subgraph PIR["程序中间表示 · Code Graph IR"]
P["Language code-intelligence providers<br/>Rust Atlas · F1 adapter kit · future F2 providers"]
PG["derived project graph<br/>symbols · impls · references · calls"]
P --> PG
end
subgraph ME["中端 · Lowering & Planning"]
G["requirements work-units<br/>executable or blocked units"]
X["Code Grounding / Intent-Code Linker<br/>REQ × work-unit × code bindings"]
K["Task Contracts (specs/*.spec.md)<br/>satisfies: REQ-* · Boundaries · Symbols"]
H["requirements plan --gate<br/>REQ × work-unit × spec DAG<br/>typed code bindings"]
I["requirements test-obligations<br/>spec-derived, code-independent"]
J["requirements worktrees<br/>parallel scheduling manifest"]
QP["Quality Planning<br/>toolchain + required skills"]
EB["Execution Bundle<br/>Contract + bindings + tools + skills"]
end
subgraph BE["后端 · Verifiable Target"]
L["agent implements within Boundaries"]
M["lifecycle: lint → structural →<br/>boundaries → bound tests"]
QT["Quality providers<br/>clippy · rustfmt · deny · miri · third-party"]
end
subgraph LK["链接 · Liveness"]
N["trace REQ-* --gate<br/>honored · violated · unproven"]
O["agent-spec mcp<br/>read-only knowledge serving"]
end
A --> B --> C --> CG
CG -->|accepted| D
CG -->|rejected| R["historical, non-executable"]
D --> E --> F --> G --> X --> K --> H --> QP --> EB --> L
PG --> X
PG --> M
H -.-> I
H -.-> J
QT --> M
L --> M --> N
N -. "liveness recomputed from verdicts,<br/>never stored" .-> D
D -.-> O
F -.-> Q["requirementExcerpt of 55,365 characters
Read on GitHubWould you bet a product on this? Bounded 0–100 and slow moving.
matched fp:12032e7a5d4ef88b, topic:ai-coding