ProofGraph (Antigravity MCP) vs Sifa
ProofGraph (Antigravity MCP) lists no tools and Sifa lists no tools and runs locally.
| Fact | ProofGraph (Antigravity MCP)io.github.AI-BuildInfra/proof-graph | Sifaio.github.gabrielmahia/sifa-mcp |
|---|---|---|
| Score | Not checked yet | Not checked yet |
| Status | Not checked yet | Not checked yet |
| Tools | 0 | 0 |
| Can write data | No tools listed | No tools listed |
| Runs | Not known | Local |
| Needs first | – | uv |
| Licence | MIT | MIT |
| Latest version | 1.0.0 | 0.1.8 |
| Known advisories | 0 | 0 |
| Works in | No install config | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Continue, Goose, LM Studio, Gemini CLI, Codex, mcp-client-cli, oterm, TUUI, BoltAI, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI |
| Downloads last week | Not known | Not known |
| Install | Install ProofGraph (Antigravity MCP) | Install Sifa |
Scores and status come with our own checks, which have not run on these servers yet. The rest is from the publishers' registry entries, package registries and advisory databases.
Compare ProofGraph (Antigravity MCP) with othersCompare Sifa with others