Developer Tooling / AI Guardrails / Policy Enforcement
LeanGuard is a Lean 4-based runtime guardrail system for agent tool use, with native temporal policies, Python integration, and optional MCP support.
The page clearly describes a real AI-adjacent developer tool: it enforces policies and guardrails around agent tool calls, with visible evidence for Lean DSL policies, Python host integration, MCP support, and verification-oriented components. The README provides enough detail to understand the project’s purpose, how it works, and how to try it.
The crawl shows strong purpose and setup details, but it still leaves some practical questions open: there is no visible screenshots or demo output, no release/history context beyond a source release candidate note, and limited evidence about maintenance activity or real-world adoption.
Last evaluated just now. Current rank #785. Down 6 spots in the rankings.
No related listings yet.
