AgentDish directory
lean
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#1053
↓ -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 | 36 days ago | Details |
#1733
↓ -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 | 136 days ago | Details |
#2044
↑ +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 | 33 days ago | Details |