AgentDish directory
lean
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#812
↓ -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 | 43 hours ago | Details |
#1422
↓ -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 | 101 days ago | Details |