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 41 hours ago. Current rank #812. Down 6 spots in the rankings.
Community-maintained Windows SPICE guest agent fork for virtual machines. The page explains what the agent does, why the fork exists, and how to build or package it on MSYS2/UCRT64 or with MSVC.
