Official MCP RegistryHosted serverscorecompute.comv0.17.1

ScoreCompute

38 MCP tools: Rust computation, Discovery, composition, counterexample scans and signed checks.

Connect to Claude Code

Copy

claude mcp add --transport http scorecompute https://scorecompute.com/mcp

Vendor-hosted remote server: nothing to install locally. If it uses OAuth, Claude opens the vendor login on first use.

Endpoints

Published in the official MCP registry as “com.scorecompute/scorecompute”. Verified through the vendor namespace.