RemoteFree server, account needed

ScoreCompute MCP server

com.scorecompute/scorecompute

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

Install ScoreCompute in Claude Code

Claude Code
claude mcp add --transport http scorecompute https://scorecompute.com/mcp
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "scorecompute": {
      "url": "https://scorecompute.com/mcp"
    }
  }
}

Frequently asked questions

What does the ScoreCompute MCP server do?

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

Is the ScoreCompute MCP server free?

The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.

Does ScoreCompute run locally or remotely?

Remote. Hosted by the provider. You connect with a URL, nothing to install.

How do I add ScoreCompute to Claude Code?

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

More other tools & integrations MCP servers

View all