AgentDish directory
Developer Tooling AI Tools
Accepted listings in this category.
| 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 | 2 days ago | Details |
#1466
↑ +2
vd_agent
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. |
Developer Tooling / System Utilities | 81 | ↑ +2 | 7 hours ago | Details |