MCP HeartbeatTHE MCP OBSERVATORY
Public workspace

Explore

Evidence for your next connection.

Independent measurements of remote MCP servers. Every observation has a timestamp.

Read-only probes

ProofGraph (Antigravity MCP)

Claim this listing

io.github.AI-BuildInfra/proof-graph

AI-BuildInfraVerified

Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.

AI models & agents

Developer ToolsIs ProofGraph (Antigravity MCP) down?Alternatives

4 of 6 checks passed

  • Updated recently

Not measured

No usable connection measurement. Open the listing for details.

Not checked yet

Measurement details

Core

  • Not measured
    Reachable

    No remote endpoint to probe.

  • Not measured
    Valid handshake

    No remote endpoint to probe.

  • Not measured
    Lists tools

    No remote endpoint to probe.

  • Not measured
    Current protocol

    No negotiated protocol version.

  • Not measured
    HTTPS

    No endpoint URL is stored.

Performance

  • Not measured
    Fast (p50)

    No remote endpoint to probe.

  • Not measured
    Consistent (p95)

    No remote endpoint to probe.

  • Not measured
    Reliable (uptime)

    No remote endpoint to probe.

  • Not measured
    Stable tool list

    No remote endpoint to probe.

Access

  • Not measured
    Open access

    No remote tools/list to try without a credential.

  • Not measured
    Standard auth

    Auth is not required, so the OAuth metadata check does not apply.

  • Not measured
    Free tier cited

    No publisher quote has been checked.

Tools

  • Not measured
    Tools described

    No remote endpoint to list tools from.

  • Not measured
    Valid input schemas

    No remote endpoint to list tools from.

  • Not measured
    Parameters documented

    No remote endpoint to list tools from.

  • Not measured
    Safety hints

    No remote endpoint to list tools from.

Publisher

  • Pass
    Verified namespace

    Listed in the Official MCP Registry.

  • Not measured
    Website matches publisher

    This namespace is not a reverse domain, so the website comparison does not apply.

  • Pass
    Source repo linked

    A repository URL is on file.

  • Pass
    Repo owner matches

    The GitHub repository owner matches the namespace login.

  • Pass
    Recently updated

    Updated 2026-09-25T11:57:28.440105Z, within 180 days.

  • Not measured
    Open-source licence

    The GitHub licence lookup has not returned an OSI result yet.

Tools

No tool list stored yet.

Probe history

No probes stored.

Status and uptime

Add badge to your README

The image links back to this page. It shows checks passed, or uptime, and the colour follows the latest status. Responses are cached for 5 to 15 minutes.

MCP Heartbeat badge

Markdown

[![MCP Heartbeat](https://mcpheartbeat.com/badge/io.github.AI-BuildInfra/proof-graph.svg)](https://mcpheartbeat.com/s/io.github.AI-BuildInfra/proof-graph)

HTML

<a href="https://mcpheartbeat.com/s/io.github.AI-BuildInfra/proof-graph"><img alt="MCP Heartbeat" src="https://mcpheartbeat.com/badge/io.github.AI-BuildInfra/proof-graph.svg"></a>

Uptime markdown

[![MCP Heartbeat uptime](https://mcpheartbeat.com/badge/io.github.AI-BuildInfra/proof-graph.svg?kind=uptime)](https://mcpheartbeat.com/s/io.github.AI-BuildInfra/proof-graph)

Served from https://mcpheartbeat.com.

Related servers

All alternatives

Same function and industry, ranked by checks passed then median latency.