A
licenseNot graded
qualityB
maintenanceA multi-agent system that autonomously analyzes code, proves bugs with formal certificates, generates repairs, and validates patches, all over the Model Context Protocol.
27 npm
MIT
113,874 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓