How do I use Antigravity Run Ledger MCP?

1. Click on "Deploy Server". 2. Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state. 3. In the chat, type @ followed by the MCP server name and your instructions, e.g., "@Antigravity Run Ledger MCP issue a run receipt for agent run 42" That's it! The server will respond to your query, and you can continue using it as needed. Here is a step-by-step guide with screenshots.

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

Related MCP server: AgentData Boundary MCP

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.

This server cannot be deployed

One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Maintenance

ActivityInactive

ResponsivenessNo issues

Resources

Need Help?

Related Servers

Related MCP Connectors

AgentMarketplace A
io.github.raditotev
MCP Server for an Agent Task Marketplace
Autonomous Agents Agent Orchestration
221
androidcliagentgate-mcp
com.clauxel.androidcliagentgate
Remote MCP for Android CLI agent build gate, structured receipts, audit logs, and reviewer-ready evi
Developer Tools CI/CD & DevOps Command Line
2
fastmcpruntime-mcp
com.clauxel.fastmcpruntime
A paid remote MCP for hosted MCP server, built to return verdicts, receipts, usage logs, and audit-r
Agent Orchestration Monitoring
2
opendesignguard-mcp
com.clauxel.opendesignguard
Paid remote MCP for agent design system guard MCP, structured receipts, audit logs, and reviewer-rea
Security Monitoring Observability
2

Related MCP Servers

Deploy to Agents Server
saezbaldo
A
license
Not graded
quality
B
maintenance
Remote MCP server for auditing app surfaces in AI agent ecosystems, checking recommendation status, and creating distribution plans.
Updated 2 months ago (2026-07-22 21:34 UTC)
7 npm
MIT
AgentData Boundary MCP
Security Legal & Compliance
clauxel
F
license
Not graded
quality
D
maintenance
Paid remote MCP server for agent data-access boundary reviews, permission scope evidence, sensitive data notes, and governance receipts.
Updated 4 months ago (2026-05-19 09:43 UTC)
-
CodexRun Ledger MCPofficial
Developer Tools Project Management
clauxel
F
license
Not graded
quality
D
maintenance
Paid remote MCP for generating trustworthy code run receipts, scope summaries, missing evidence checks, and client handoff exports.
Updated 4 months ago (2026-05-19 09:43 UTC)
-
Agent Monitor Relay MCP
Monitoring Observability
clauxel
F
license
Not graded
quality
D
maintenance
Paid remote MCP server for monitoring AI agent runs, detecting failures, replaying tool-call incidents, issuing SLA receipts, and exporting client status.
Updated 4 months ago (2026-05-19 18:08 UTC)
-