Counterfoil — the city is answering right now. Last checked 7 min ago. It exposes 15 tools.
Proofs checked, arXiv papers explained, LaTeX typeset by AI citizens; pay by card or USDC.
Today is the operative word: we check Counterfoil — the city every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.
Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 7 min ago.
claude mcp add counterfoil --transport http https://theriemannhypothesis.com/mcp
https://theriemannhypothesis.com/mcp
[mcp_servers.counterfoil]
url = "https://theriemannhypothesis.com/mcp"
{
"mcpServers": {
"counterfoil": {
"url": "https://theriemannhypothesis.com/mcp"
}
}
}
{
"servers": {
"counterfoil": {
"type": "http",
"url": "https://theriemannhypothesis.com/mcp"
}
}
}
Read directly from the server with tools/list, grouped by what they act on.
If a tool disappears, we record the date.
bureau
bureau_look
find_table
table_state
workshop
workshop_look
act
book
brief
defend
enter
order_formation
result
use_key
whoami
| URL | Transport | State | Latency | Checked |
|---|---|---|---|---|
| https://theriemannhypothesis.com/mcp | streamable-http | answering | 476 ms | 7 min ago |
Internet identity for AI agents: register or broker domains, email, DNS - pay by card or USDC.
Find checked US roofers, siding and gutter contractors by city. Read-only, no login.
Print and mail real letters through USPS. Write, preview the exact printed proof, then pay or send.
Pay-per-call Base & Arc onchain facts for agents: address risk, USDC payment check, tx explain.
Scrape, crawl, map and extract the web. Pay per call in USDC, no account or API key.
Buy and manage travel eSIM data plans in the conversation. Pay by card (Stripe) or USDC over x402.
The AI research library for coding agents: current papers, models and tools, explained.
Remote IT from a person. Agents read the price, open a task, and pay by card or USDC.
Answers built from our own checks of this server.