AgentDish directory
Accepted listings in this category.
LeanGuard is a Lean 4-based runtime guardrail system for agent tool use, with native temporal policies, Python integration, and optional MCP support.
