← Discover MCPs and Agents
c
MCPOtherMCP Registry

com.clauxel.antigravityrunledger/antigravityrunledger-mcp

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

Links

README

From the repo.

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

Reading Order

  1. Quickstart
  2. Evaluation guide
  3. Checkout and pricing
  4. Workflow notes
  5. Security model
  6. Public link reference

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.

Config for your environment

Use the endpoint URL below in your config. No API key — you connect directly.

Tool

OS

Config file: ~/.cursor/mcp.json

{
  "mcpServers": {
    "mcp-server": {
      "url": "https://antigravityrunledger.clauxel.com/mcp"
    }
  }
}

Paste into mcpServers in the config file. Restart Cursor after saving.

If this MCP is also published on mcpchannel.ai, you can subscribe from Browse and use the gateway config there instead.