Counterfoil — the city

Overview

Counterfoil — the city is a Model Context Protocol server that checks proofs, explains arXiv papers, and typesets LaTeX using AI citizens. Any MCP-compatible assistant can access these tools directly, letting the model decide when to call them during conversations or agent runs.

This is a fully hosted remote server. Connect your client to https://theriemannhypothesis.com/mcp with no local installation required. The latest release is v0.69.0. Payment is accepted by card or USDC.

Counterfoil — the city belongs in the AI & Agents category and integrates with all major MCP clients including Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, and Zed. If you maintain this server at theriemannhypothesis.com, you can claim this listing to verify ownership and keep information up to date.

Installation

Settings → Connectors → Add custom connector
Name: Counterfoil — the city
URL:  https://theriemannhypothesis.com/mcp