leaderiop

leaderiop/SpecForge

Specs your AI agent can't ignore. A deterministic compiler that turns your rules into checks: no AI inside, same input, same verdict. Rust · MCP-native · works with Claude Code, Cursor and any MCP agent.

4 good first / help-wanted issues · Rust · last activity Oct 22, 2026

16 stars 1 forks 16 watchers Rust Apache License 2.0
ai-agents ai-coding claude-code code-review compiler cursor developer-tools dsl formal-verification llm mcp model-context-protocol rust spec-driven-development specification static-analysis testing traceability webassembly z3
View on GitHub
4 Open Issues Need Help Last updated: Oct 22, 2026

Open Issues Need Help

View All on GitHub
authoring skill shows unquoted `use invariants/data`, which is a syntax error 3 days ago
bug good first issue hacktoberfest
leaderiop/SpecForge
16

Specs your AI agent can't ignore. A deterministic compiler that turns your rules into checks: no AI inside, same input, same verdict. Rust · MCP-native · works with Claude Code, Cursor and any MCP agent.

Rust
#ai-agents#ai-coding#claude-code#code-review#compiler#cursor#developer-tools#dsl#formal-verification#llm#mcp#model-context-protocol#rust#spec-driven-development#specification#static-analysis#testing#traceability#webassembly#z3
E010 prints a literal {reason} for a milestone that names a missing behavior 3 days ago
bug good first issue hacktoberfest
leaderiop/SpecForge
16

Specs your AI agent can't ignore. A deterministic compiler that turns your rules into checks: no AI inside, same input, same verdict. Rust · MCP-native · works with Claude Code, Cursor and any MCP agent.

Rust
#ai-agents#ai-coding#claude-code#code-review#compiler#cursor#developer-tools#dsl#formal-verification#llm#mcp#model-context-protocol#rust#spec-driven-development#specification#static-analysis#testing#traceability#webassembly#z3
analyze --prove can't decide a bound written as a subtraction (I098), though the sum form proves 3 days ago
bug good first issue hacktoberfest
leaderiop/SpecForge
16

Specs your AI agent can't ignore. A deterministic compiler that turns your rules into checks: no AI inside, same input, same verdict. Rust · MCP-native · works with Claude Code, Cursor and any MCP agent.

Rust
#ai-agents#ai-coding#claude-code#code-review#compiler#cursor#developer-tools#dsl#formal-verification#llm#mcp#model-context-protocol#rust#spec-driven-development#specification#static-analysis#testing#traceability#webassembly#z3
specforge new --extension writes a project that doesn't build against the published SDK 0.1 3 days ago
bug good first issue hacktoberfest
leaderiop/SpecForge
16

Specs your AI agent can't ignore. A deterministic compiler that turns your rules into checks: no AI inside, same input, same verdict. Rust · MCP-native · works with Claude Code, Cursor and any MCP agent.

Rust
#ai-agents#ai-coding#claude-code#code-review#compiler#cursor#developer-tools#dsl#formal-verification#llm#mcp#model-context-protocol#rust#spec-driven-development#specification#static-analysis#testing#traceability#webassembly#z3