MCP REGISTRY
Counterfoil — the city
com.theriemannhypothesis/counterfoil
Proofs checked, arXiv papers explained, LaTeX typeset by AI citizens; pay by card or USDC.
Remote connections
1Use these endpoints with a compatible MCP client.
REMOTE ENDPOINTStreamable HTTP
GET STARTED
Connect this server
- 01
Check the setup guide
Review the publisher’s documentation for supported clients and installation requirements.
- 02
Configure your client
Add the package or endpoint to your MCP client using the publisher’s instructions. Supply any required credentials in your client settings.
- 03
Connect and explore
Enable the server in your client and review its available tools and permissions.