MCP servers
ScoreCompute
38 MCP tools: Rust computation, Discovery, composition, counterexample scans and signed checks.
Remotes
Streamable HTTP
https://scorecompute.com/mcpclaude mcp add --transport http scorecompute https://scorecompute.com/mcpPackages
This server publishes no installable package.
Server details
- Registry name
- com.scorecompute/scorecompute
- Version
- 0.17.1
- Registry status
- active
- Website
- scorecompute.com
- First published
- Source
- Official MCP Registry
