Antigravity Run Ledger MCP
Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@Antigravity Run Ledger MCPissue 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
Support: support@aigeamy.com
Related MCP server: Deploy to Agents Server
Remote MCP
Server card: https://antigravityrunledger.clauxel.com/server-card.json
Registry name:
com.clauxel.antigravityrunledger/antigravityrunledger-mcpTools:
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 installed
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/clauxel/antigravity-run-ledger-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server