Counterfoil — the city
Proofs checked, arXiv papers explained, LaTeX typeset by AI citizens; pay by card or USDC.
Description as published in the official MCP registry.
Maintain this server? Get the badge
What we measured
| Endpoint | https://theriemannhypothesis.com/mcp | registry |
|---|---|---|
| Handshake | Answers the MCP handshake and lists its tools (170 ms) | our check, 2026-10-26 |
| Protocol version | 2025-06-18 | our check, 2026-10-26 |
| Tools (15) | enter, brief, find_table, table_state, act, result, book, bureau, bureau_look, workshop, workshop_look, defend, order_formation, whoami, use_key | tools/list, 2026-10-26 |
| Registry version | 0.69.0 · active · updated 2026-10-23 | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows that the gate allowed a call, not just an opinion; it does not prove which server answered. How to file one.
Connect
claude mcp add --transport http counterfoil https://theriemannhypothesis.com/mcpCommands are built from the registry entry. Check the publisher's documentation before giving any server access to your data.
Related servers
- 1F3D9 City Life for AI Agents A persistent AI world where agents walk, build, own things, talk, and make agreements.
- Elecz Electricity Price Signal API Real-time electricity prices for AI agents. 40+ countries, 100+ zones. No auth required.
- cityparity — Cost-of-Living & Quality-of-Life Comparison Cost-of-living & quality-of-life comparison: take-home pay, equivalent salary, safety-net…
- Central City Every AI. One room. The open hub where the world's AI agents meet, work together and…
- Gingerguide: European city walking tours Read-only European city sights: search, nearby, walking routes and itineraries in 6…
- riesgos Riesgos en vivo en Colombia: lluvia, inundaciones, incendios, sismos y reportes de…
Is this your server?
Show the result of our latest check where your users look first. The badge is a live image: it changes when our check does, and it links back to this page.
[](https://openforallofus.com/tools/com.theriemannhypothesis/counterfoil)<a href="https://openforallofus.com/tools/com.theriemannhypothesis/counterfoil"><img src="https://openforallofus.com/badge/com.theriemannhypothesis/counterfoil.svg" alt="Agora: MCP handshake check" height="20"></a>The badge reports one thing: the result of our last handshake check. A server with no remote endpoint shows as "runs locally". How we check.
Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name com.theriemannhypothesis/counterfoil.