Write Specs.
AI Implements.
Stay in Control.
SpecFact validates AI-generated code in your IDE and CI/CD—no new platform to learn. Deterministic contracts catch what LLMs miss. Define once, validate continuously.
# In your AI IDE (Cursor, VS Code + Copilot):
$ specfact init --ide cursor
âś“ Installed 12 slash commands
# Then use: /specfact.01-import --repo .
âś“ Found 12 features (LLM-enriched)
âś“ Detected 34 stories with business context
âś“ Project bundle written to: .specfact/projects/my-project/ Why SpecFact?
Validation where you work—AI IDEs and CI/CD. No new platform to learn.
Brownfield-First
Built for existing Python codebases. Reverse-engineer legacy code into executable contracts automatically. No specs upfront required.
Zero-Config Entry
Run `specfact import from-code my-app --repo .` and get value in 60 seconds. No configuration files, no setup. Works on messy repos.
Runtime Contract Enforcement
Add icontract + beartype decorators to critical paths. Contracts block violations during refactoring, preventing production bugs.
Symbolic Execution
CrossHair explores all code paths mathematically, finding edge cases that traditional testing and AI coding assistants miss.
No Shadow Platform
Runs in your AI IDE and CI/CD—not a separate tool. CLI-first, Copilot-ready. Meets developers where they already work.
Agile Team Personas
Product Owners, Developers, and Architects each work in their own Markdown view. SpecFact syncs and validates across all roles.
Bridge Adapters
Import from Spec-Kit (first adapter) with bidirectional sync. Azure DevOps, Jira, Linear coming. Validate any planning tool's output.
CI/CD Native
GitHub Actions integration out of the box. Shadow mode → enforce mode. Progressive rollout with audit trails.
How It Works
Three steps to spec-driven development—designed for agile teams.
Import Your Codebase
SpecFact analyzes your existing code and creates a project bundle. Use slash commands in your AI IDE for LLM-enriched analysis.
# In AI IDE (Cursor, VS Code + Copilot):
$ specfact init --ide cursor
âś“ Installed 12 slash commands
# Then use slash command for best results:
/specfact.01-import --repo .
âś“ Found 12 features (LLM-enriched)
âś“ Project bundle created
Collaborate as a Team
Each persona (Product Owner, Developer, Architect) edits their own Markdown view. SpecFact syncs everything with validation—no YAML editing required.
# Select your bundle after import:
$ specfact plan select --bundle my-app
# Each persona exports their view:
$ specfact project export --persona product-owner
$ specfact project export --persona developer
# Import with automatic validation:
$ specfact project import --persona product-owner
âś“ Agile validation passed, changes synced
Validate & Enforce
Run validation in CI/CD to catch deviations. SpecFact blocks merges when code drifts from specs.
$ specfact enforce stage --preset balanced
âś“ Enforcement mode: balanced
$ specfact repro --verbose
âś“ Checking contracts...
âš 2 deviations found (HIGH severity)
❌ Merge blocked - fix deviations first
Powerful CLI
Install with uvx, pip, or run directly. The SpecFact CLI integrates seamlessly with your development workflow.
Read the Docs100% Open Source
SpecFact CLI is released under Apache 2.0 license. No vendor lock-in, no license keys, no telemetry required. Self-host, fork, or contribute.
uvx specfact-cli@latest --help What's included (free forever):
- Full CLI with all commands
- Contract extraction from legacy code
- Gap discovery & quality scoring
- GitHub Actions integration
- AI IDE slash commands (Cursor, Copilot)
Need enterprise support? Contact us