com.clauxel.codexrunledger/codexrunledger-mcp

Official

by clauxel

Codex run receipts your reviewer can trust.

CodexRun Ledger MCP (com.clauxel.codexrunledger/codexrunledger-mcp)

This is a paid hosted remote Model Context Protocol (MCP) server that provides Codex run receipts. It is described as supporting changed-file evidence, scope summaries, missing proof checks, and client-ready handoff receipts for Codex run ledgers.

🛠️ Key Features

Codex run receipts
Changed-file evidence
Scope summaries
Missing proof checks
Client-ready handoff receipts

🚀 Use Cases

Reviewing Codex run outcomes with documented receipts
Auditing changes via changed-file evidence
Validating scope coverage using scope summaries
Detecting gaps with missing proof checks

⚡ Developer Benefits

Remote MCP endpoint available for production calls
Registry name: com.clauxel.codexrunledger/codexrunledger-mcp

⚠️ Limitations

Paid hosted remote MCP; production calls require authorization (details truncated in source)
Capabilities are limited to what is stated in the provided excerpt

Topics

ai-agentsauditcodexmcpremote-mcp

README.md2 KBView on GitHub

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.

http

Authorization: Bearer <token>

Unauthenticated browser visits to /mcp return a clear JSON error instead of internal details.

Tools

create_run_receipt
summarize_scope
list_missing_evidence
export_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

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.

Install

Remote endpoint

Streamable HTTP

Hosted server - connect over the network, no local install.

url

https://codexrunledger.clauxel.com/mcp

Add to VS Code Add to Cursor

claude_desktop_config.json

json

{
  "mcpServers": {
    "codexrunledger-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "mcp-remote",
        "https://codexrunledger.clauxel.com/mcp"
      ]
    }
  }
}

Desktop config is stdio-only; this bridges via mcp-remote. Native remote: Settings > Connectors.