symspec
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.
View on Github
Activity
- Latest release
- 2w ago
- Total releases
- 5
- Cadence
- ~2 days
- Last 12 months
- 5
Reach
- Downloads (recent)
- 26
- Stars
- 0
Details
- License
- Apache-2.0
- First release
- Aug 12, 2026
Releases