murzua7/autospec
Self-supervising TLA+ formal verification loop — an LLM agent iteratively writes specs and fixes bugs, using the TLC model checker as an incorruptible evaluator. Inspired by Karpathy's autoresearch.
Stars
—
Forks
—
Language
Python
License
Apache-2.0
Category
Last pushed
Mar 15, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/murzua7/autospec"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
codervisor/lean-spec
Lightweight, flexible Spec-Driven Development (SDD) for modern AI-powered development
irahardianto/awesome-agv
Comprehensive sets of standards and practices designed to elevate the capabilities of AI coding agents.
prime-vector/open-agent-spec
Open Agent Spec is a declarative YAML standard and CLI for defining and generating AI agents....
SpecLeft/specleft
Turn your code in to specs. Spec driven framework with multi language support. Trace feature...
doncheli/don-cheli-sdd
Don Cheli — SDD Framework. The most comprehensive Specification-Driven Development framework for...