io.github.openrepro/ledger
up checked
Unclaimed · Unverified
Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.
Publisher-provided title
OpenRepro ledger
Publisher-provided description
Does a paper reproduce? Read-only lookup of OpenRepro's re-run reports, claims and evidence.
Summary by lookupd
Read-only lookup of published paper re-run outcomes, claims, evidence bundles and verification steps, plus search and rerun requests.
Install
Claude Code, remote (streamable-http)
claude mcp add --transport http ledger https://mcp.openrepro.org/mcp
Codex, remote (streamable-http)
codex mcp add ledger --url https://mcp.openrepro.org/mcp
Cursor, remote (streamable-http) → .cursor/mcp.json
{
"mcpServers": {
"ledger": {
"url": "https://mcp.openrepro.org/mcp"
}
}
}Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.
Tools (5 tools)
Publisher-provided text
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-desigsearch_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 clahow_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 Pytrequest_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
Details
- Version: 0.2.0
- Transports: streamable-http
- Uptime (7 days): 100%
- Median latency: 290 ms
- First indexed:
- Last seen in registry:
- Website: https://openrepro.org/data/#mcp
Badge for your README
Shows this live status and links here; updates hourly.
[](https://lookupd.com/servers/io.github.openrepro/ledger)
- 62071 servers
- Last crawl: 2026-11-11T16:39:06.253Z
- API base:
https://api.lookupd.com - MCP URL:
https://api.lookupd.com/mcp