Developer Tooling / System Utilities
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.
The snapshot gives enough evidence for a useful public listing: it clearly identifies the project as a Windows SPICE guest agent, explains the main features (mouse integration, resolution matching, clipboard sharing, file transfer, and service startup), and includes build, packaging, and release notes for developers. It is a real, maintained utility project rather than a thin or promotional page.
The crawl does not show a quick-start install guide for end users, download links beyond GitHub Releases mention, or screenshots/demo media. It also does not show issue status, release cadence, or compatibility details beyond a general Windows 11 / Linux VM mention.
Last evaluated just now. Current rank #1466. Up 2 spots in the rankings.
LeanGuard is a Lean 4-based runtime guardrail system for agent tool use, with native temporal policies, Python integration, and optional MCP support.
