Developer · Remote MCP server
Antigravityrunledger MCP
Remote MCP for Antigravity agent run receipt MCP, structured receipts, audit logs, and reviewer-read.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
com.clauxel.antigravityrunledger/antigravityrunledger-mcp- Version
- 1.0.0
- Status
- Active
- Category
- developer
- Transport
- Streamable HTTP
- Published
- 2026-05-20
- Updated
- 2026-05-20
- Publisher
- com.clauxel.antigravityrunledger
- Namespace
- Namespace verified by the MCP Registry via the domain antigravityrunledger.clauxel.com or a parent domain of it · how
- Repository
- github.com/clauxel/antigravity-run-ledger-mcp
- Source
- Registry API entry
Remote endpoints
| Transport | URL | Headers declared |
|---|---|---|
| Streamable HTTP | https://antigravityrunledger.clauxel.com/mcp | Authorization |
Live check
This directory connected to each remote endpoint and asked for its list of tools. The check connects and lists tools only; it doesn't run tools, sign in or test security.
- Reachable
- No - could not connect (DNS or connection failure)
- Handshake
- -
- Checked on
- 2026-10-05
How to connect Antigravityrunledger MCP
Antigravityrunledger MCP is a remote MCP server: there is nothing to install. Its endpoint is https://antigravityrunledger.clauxel.com/mcp, served over Streamable HTTP. In an assistant that accepts remote MCP servers (often under a setting named connectors, integrations or tools), add a new server and give it this URL; in a client configured by file, add it as a remote (HTTP) server with the same URL.
The registry entry declares an HTTP header for the connection: Authorization. clients that accept custom headers set it with the server's URL.
Derived from the registry entry; the live check above only shows whether the endpoint answered. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More developer servers
| Server | Runs |
|---|---|
| Anthropic Admin MCPNative MCP server for the Anthropic Admin API: org, workspaces, members, API keys, usage, costs. | Local · stdio |
| AntideployDeploy an app to Antideploy from a coding agent. No Dockerfile, no YAML, no cloud console. | Local · stdio |
| Antigravity LinkMCP server and OpenAPI-backed mobile companion for controlling Antigravity IDE sessions. | Local · stdio |
| Antigravityextensiongate MCPPaid remote MCP for Antigravity extension compatibility MCP, structured receipts, audit logs, and re. | Remote · HTTPLive check: ✗ no handshake |
| AntoskillA package manager for Agent Skills - discover, vet, and pin them across Claude Code and Codex. | Local · stdio |
| AntriebValidates AI infra code on real VMs. Self-corrects until it works. No containers, no sandboxes. | Remote · HTTPLive check: sign-in required |
| AnybrowseConverts any URL to clean, LLM-ready Markdown using real Chrome browsers. | Remote · HTTPLive check: ✗ no handshake |
| AnySkillsAnySkills online school: build courses, lessons and tests, publish, track student progress. | Remote · HTTPLive check: ✗ no handshake |