Summary
A paid remote MCP that generates verifiable receipts for Codex runs. You call create_run_receipt to log what changed, summarize_scope to document what was in bounds, list_missing_evidence to flag gaps, and export_client_handoff to package everything for delivery. Runs over streamable HTTP with bearer token auth. Useful when you're handing off AI-assisted work to a reviewer or client and need tamper-evident proof of what the assistant touched, what it skipped, and what's still missing. Requires signup and a paid plan at codexrunledger.clauxel.com to get a token.
Plug Mailtrap into your AI workflow and let it handle the email.
Connect Mailtrap MCP →
Agent, run crypto. Access onchain data & trade routes via 1inch.
Install now →
Make coding agent sessions - Searchable, Shareable, Vendor-neutral & Scored.
Try For Free →
Your agent targets a perfect 10 Code Health score. Deterministic. Every commit.
Try For Free →
Integrate web data into your AI product. One API to scrape website & brand data.
Get API Key Now →
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →CodexRun Ledger MCP
Codex run receipts your reviewer can trust.
Paid remote MCP for Codex run ledgers, changed-file evidence, scope summaries, missing proof checks, and client-ready handoff receipts.
Public Endpoints
- Website: https://codexrunledger.clauxel.com/?utm_source=github&utm_medium=directory&utm_campaign=sbl202605
- MCP endpoint: https://codexrunledger.clauxel.com/mcp
- Server card: https://codexrunledger.clauxel.com/server-card.json
- Registry name:
com.clauxel.codexrunledger/codexrunledger-mcp
Access
This is a paid hosted remote MCP. Production calls require a bearer token issued from the product website.
Authorization: Bearer <token>
Unauthenticated browser visits to /mcp return a clear JSON error instead of internal details.
Tools
create_run_receiptsummarize_scopelist_missing_evidenceexport_client_handoff
Quick Start
- Open the website and choose a plan.
- Create or request an API token.
- Add the endpoint to an MCP client that supports Streamable HTTP remote servers.
- Send JSON-RPC requests with the bearer token.
Useful Links
- Product page: https://codexrunledger.clauxel.com/?utm_source=github&utm_medium=directory&utm_campaign=sbl202605
- Pricing: https://codexrunledger.clauxel.com/?utm_source=github&utm_medium=directory&utm_campaign=sbl202605#pricing
- Server card: https://codexrunledger.clauxel.com/server-card.json
- MCP endpoint: https://codexrunledger.clauxel.com/mcp
Related Workflow
- OpenHuman Online is useful when this MCP rollout also needs human-readable source memory, meeting notes, or approval context outside the server.
Status
This repository is a public documentation and directory-submission reference for the hosted service. It does not contain the private production source code.
Featured
Plug Mailtrap into your AI workflow and let it handle the email.
Connect Mailtrap MCP →Agent, run crypto. Access onchain data & trade routes via 1inch.
Install now →Make coding agent sessions - Searchable, Shareable, Vendor-neutral & Scored.
Try For Free →Your agent targets a perfect 10 Code Health score. Deterministic. Every commit.
Try For Free →Integrate web data into your AI product. One API to scrape website & brand data.
Get API Key Now →belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →