AgentDish directory
formal verification
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#285
↓ -2
Viveka
A Python filter layer for LLM apps that evaluates responses against a Lean-verified Scherf logic backend and can pass, flag, correct, or block output. |
Developer Tools / AI Safety / LLM Guardrails | 82 | ↓ -2 | 16 hours ago | Details |
#317
↓ -3
chaos-prover
An autonomous neuro-symbolic formal verification engine for Lean 4. The repository describes a proof workflow that generates tactics and then checks them deterministically in Lean, with example proofs, verification steps, and telemetry outputs. |
Developer Tools / Formal Verification | 82 | ↓ -3 | 27 days ago | Details |