Does a paper reproduce? Read-only lookup of OpenRepro's re-run reports, claims and evidence.
Connect Remote server
claude mcp add --transport http ledger https://mcp.openrepro.org/mcp
{
"mcpServers": {
"ledger": {
"url": "https://mcp.openrepro.org/mcp"
}
}
}
{
"servers": {
"ledger": {
"type": "http",
"url": "https://mcp.openrepro.org/mcp"
}
}
}
Settings > Connectors > Add custom connector
URL: https://mcp.openrepro.org/mcp
Tools 6 found in our last check
check_paperLook 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_reportsSearch 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_reportThe 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_verifyThe 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_rerunFor 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_feedbackOptional: 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
| Endpoint | https://mcp.openrepro.org/mcp (Streamable HTTP) |
| First published | 10 Nov 2026 |
| Last updated | 10 Nov 2026 |
| Registry name | io.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.
