ProofGraph (Antigravity MCP)
by AI-BuildInfraio.github.AI-BuildInfra/proof-graphv1.0.0
- No known advisories
- MIT
Known advisories
None known for its packages.
Checked 2026-10-28 against OSV.dev and deps.dev.
These are automated signals about its packages, not a security audit.