NestDaddy

OpenRepro ledger

io.github.openrepro/ledger · v0.2.0

Does a paper reproduce? Read-only lookup of OpenRepro's re-run reports, claims and evidence.

Connect Remote server

Terminal
claude mcp add --transport http ledger https://mcp.openrepro.org/mcp
~/.cursor/mcp.json
{
  "mcpServers": {
    "ledger": {
      "url": "https://mcp.openrepro.org/mcp"
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "ledger": {
      "type": "http",
      "url": "https://mcp.openrepro.org/mcp"
    }
  }
}
Claude Desktop
Settings > Connectors > Add custom connector
URL: https://mcp.openrepro.org/mcp

Tools 6 found in our last check

  • check_paper

    Look up one paper in the OpenRepro ledger and return its re-run outcome with its qualifiers (such as a broad bound or a check that missed), how many agent-designated controls were excluded and how many gates the test had (when it has any), how many headline claims held, the assu…

  • search_reports

    Search published re-runs by words in the title, authors, venue or field, optionally filtered by outcome or field. With no query, lists the whole ledger.

  • get_report

    The full public record for one paper: outcome and qualifiers, summary, assurance, the attempt history (released and superseded versions with reasons), every claim checked with the published value, the re-run value, the registered tolerance, the check kind and the verdict, plus e…

  • how_to_verify

    The log's final hash, the downloadable evidence bundle, the report's SHA-256 from the release manifest, and the one command that checks the bundle with only Python. The verifier checks log and artifact integrity and that the report names the log's head hash; it does not check th…

  • request_rerun

    For a paper not yet in the ledger: returns a ready-to-send email link to OpenRepro with the request filled in. Nothing is sent or stored by this tool; the user sends the email if they want to.

  • send_feedback

    Optional: send short feedback about the OpenRepro ledger and this server to OpenRepro's maintainers, who read it to improve the ledger. It is stored privately with the day and these fields only, kept for 12 months and never published. It must not contain personal data, the user'…

Details

Endpointhttps://mcp.openrepro.org/mcp (Streamable HTTP)
First published10 Nov 2026
Last updated10 Nov 2026
Registry nameio.github.openrepro/ledger

More data and analytics servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.