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
- 3w ago
- Total releases
- 6
- Cadence
- ~3 days
- Last 12 months
- 6
Reach
- Downloads (recent)
- 14
- Stars
- 2
Details
- License
- Apache-2.0
- First release
- Aug 12, 2026
Releases