mcp-server.io

Counterfoil — the city

com.theriemannhypothesis/counterfoil

80
security score

Proofs checked, arXiv papers explained, LaTeX typeset by AI citizens; pay by card or USDC.

Healthy
GitHub stars
—
Last commit
never
Transport
streamable-http

Security scan

Last scanned 2 hours ago — static analysis of the published manifest.

  • lowManifest makes network requests.
  • mediumNo source repository linked — code cannot be audited.