Armory
Browse
MCPs

buggy

A multi-agent system that autonomously analyzes code, proves bugs with formal certificates, generates repairs, and validates patches, all over the Model Context Protocol.

Score
Unranked
Evidence
No signals yet
Last commit
Listed

Install

Manual · Source

Alternatives · MCPs

  1. maxmsp-mcp-server266 stars · 30 forks94.825
  2. kicad-mcp-server88 stars · 16 forks90.368
  3. sabba11 stars57.333

What it is

A multi-agent system that autonomously analyzes code, proves bugs with formal certificates, generates repairs, and validates patches, all over the Model Context Protocol.

When to use it

A multi-agent system that autonomously analyzes code, proves bugs with formal certificates, generates repairs, and validates patches, all over the Model Context Protocol.

How to install / invoke

See Glama for the install config.

Notes

Listed from the Glama MCP registry.