ARAntigravity Run Ledger Checkout Team annual

Claude Desktop

Claude Desktop setup

Add the remote endpoint and bearer token to a client that supports remote Streamable HTTP MCP servers.

Checkout Team annualView pricing plans

Endpoint

https://antigravityrunledger.clauxel.com/mcp

Authentication

Production calls require a paid bearer token. The checkout and token-claim endpoints return machine-readable instructions for agents.

Available tools

  • issue_run_receipt returns structured JSON with verdict, reason, receipt_id, usage_units, and next_action.
  • summarize_agent_changes returns structured JSON with verdict, reason, receipt_id, usage_units, and next_action.
  • check_test_evidence returns structured JSON with verdict, reason, receipt_id, usage_units, and next_action.
  • flag_review_risk returns structured JSON with verdict, reason, receipt_id, usage_units, and next_action.
  • export_run_log returns structured JSON with verdict, reason, receipt_id, usage_units, and next_action.

Example call

{"jsonrpc":"2.0","id":"call-1","method":"tools/call","params":{"name":"issue_run_receipt","arguments":{"sample":"Antigravity Run Ledger sample with public-safe workflow context, owner, policy, deadline, risk notes, and reviewer evidence."}}}

Setup pages