English Français العربية

ScoreCompute

Official registry Other

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

Website

Install

Add this to your client's MCP configuration (Claude Desktop: claude_desktop_config.json; Cursor: .cursor/mcp.json; VS Code and others use the same "mcpServers" shape).

Remote (streamable-http)
Claude Code 
claude mcp add --transport http scorecompute 'https://scorecompute.com/mcp'
JSON configuration (Claude Desktop, Cursor, VS Code) 
{
    "mcpServers": {
        "scorecompute": {
            "type": "http",
            "url": "https://scorecompute.com/mcp"
        }
    }
}

Frequently asked questions

What is ScoreCompute?

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

How do I install ScoreCompute?

It runs as a remote server. In Claude Code: claude mcp add --transport http scorecompute 'https://scorecompute.com/mcp'. For other clients, paste the JSON configuration from this page into their MCP settings.

Does ScoreCompute need an API key?

Its registry entry lists no required key or secret. Some features may still need an account with the service it connects to.

Who maintains ScoreCompute?

It is published by com.scorecompute. AI.tn lists it but does not maintain or endorse it.

From the official MCP Registry. Listing is not an endorsement: review a server's code and permissions before giving it access to your data.