ScoreCompute MCP server

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

Category: Other

● Online, checked 32 min ago · 1064 ms

Source: official MCP Registry entry com.scorecompute/scorecompute

Direct MCP URL and setup

CLAUDE CODE

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

CURSOR / VS CODE (mcp.json)

{ "mcpServers": { "com-scorecompute-scorecompute": { "url": "https://scorecompute.com/mcp" } } }