AgentDish directory
lean
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#1158
↓ -6
LeanGuard
LeanGuard is a Lean 4-based runtime guardrail system for agent tool use, with native temporal policies, Python integration, and optional MCP support. |
Developer Tooling / AI Guardrails / Policy Enforcement | 84 | ↓ -6 | 58 days ago | Details |
#1877
↓ -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 | 158 days ago | Details |
#2213
↑ +6
Berge–Fulkerson conjecture · Prove Together
A Prove Together problem page for the Berge–Fulkerson conjecture, with a formal Lean target, provenance notes, reusable lemmas, and discussion around agent-assisted proof work. |
AI Research / Formal theorem proving | 78 | ↑ +6 | 55 days ago | Details |