com.clauxel.antigravityrunledger/antigravityrunledger-mcp

Official

by clauxel

Remote MCP for Antigravity agent run receipt MCP, structured receipts, audit logs, and reviewer-read

Antigravity Run Ledger MCP Server

Antigravity Run Ledger is a hosted remote MCP for the Antigravity agent run receipt MCP. It provides structured run receipts, audit logs, and reviewer-readable output. The repository is a public documentation project for Antigravity Run Ledger, following a documented reading order and reference-style layout.

🛠️ Key Features

Hosted remote MCP for an Antigravity agent run receipt MCP
Structured receipts
Audit logs
Reviewer-readable content

🚀 Use Cases

Publishing and documenting run receipt handling for Antigravity agent executions
Producing audit logs for recorded runs
Supplying reviewer-oriented read views of receipts

⚡ Developer Benefits

Public documentation with a clear reading order and reference pages
Documentation structure includes a “public-safe boundary”

⚠️ Limitations

Source material does not specify available tools, tool count, or concrete MCP endpoints.

Topics

mcpai-toolsantigravity-agent-run-receipt-mcpantigravity-run-ledgerantigravity-run-ledger-documentationantigravityrunledgerdocumentationmcp-server

README.md2 KBView on GitHub

Antigravity Run Ledger

Antigravity Run Ledger is a hosted remote MCP for Antigravity agent run receipt MCP.

This repository is a public documentation project for Antigravity Run Ledger. Its structure follows the public documentation pattern used by MiroFish: a short front door, a clear reading order, practical guides, reference pages, and a public-safe boundary.

Start Here

Remote MCP

Endpoint: https://antigravityrunledger.clauxel.com/mcp
Server card: https://antigravityrunledger.clauxel.com/server-card.json
Registry name: com.clauxel.antigravityrunledger/antigravityrunledger-mcp
Tools: issue_run_receipt, summarize_agent_changes, check_test_evidence, flag_review_risk, export_run_log

Reading Order

Audience

AI product teams, operations leads, workflow owners, and technical evaluators.

Capabilities

Streamable HTTP MCP endpoint
Bearer-token access for production calls
Structured tool-call output
Receipt-oriented evidence export
Public server card and registry metadata
MCP tool: issue_run_receipt
MCP tool: summarize_agent_changes
MCP tool: check_test_evidence
MCP tool: flag_review_risk
MCP tool: export_run_log

Public-Safe Boundary

This repository contains documentation only. It does not contain production source code, credentials, payment configuration, Cloudflare configuration, customer records, private analytics, or local machine paths.

Install

Remote endpoint

Streamable HTTP

Hosted server - connect over the network, no local install.

url

https://antigravityrunledger.clauxel.com/mcp

Add to VS Code Add to Cursor

claude_desktop_config.json

json

{
  "mcpServers": {
    "antigravityrunledger-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "mcp-remote",
        "https://antigravityrunledger.clauxel.com/mcp"
      ]
    }
  }
}

Desktop config is stdio-only; this bridges via mcp-remote. Native remote: Settings > Connectors.