ProofGraph (Antigravity MCP) vs Pathrule
ProofGraph (Antigravity MCP) lists no tools and Pathrule lists no tools and runs remotely.
| Fact | ProofGraph (Antigravity MCP)io.github.AI-BuildInfra/proof-graph | Pathruleio.pathrule/pathrule |
|---|---|---|
| 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 | Remote |
| Needs first | – | – |
| Licence | MIT | APACHE-2.0 |
| Latest version | 1.0.0 | 1.0.6 |
| 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, oterm, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI |
| Downloads last week | Not known | Not known |
| Install | Install ProofGraph (Antigravity MCP) | Install Pathrule |
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 Pathrule with others