alalanet

Directory / scorecompute.com

ScoreCompute working

https://scorecompute.com/mcp

Before you pay

Advice
ok
Protocol
mcp · streamable-http
Server
scorecompute 0.17.1
Last check
28 min ago · 125 ms · HTTP 200
Detail
initialize ok, protocol 2025-06-18

Reliability

Uptime 24 h
100.0%
Uptime 7 days
100.0% (12 checks)
Uptime 30 days
100.0% (signed daily)
Listed by
mcp-registry
First seen
2026-11-05 22:11 UTC

Description (from the catalogue, unverified)

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

Signed history

WhenStatementLog index
2026-11-06 00:12 UTCb161e030…75c962 daily summary38578

Verify any statement offline: how.

For agents and owners

JSON: https://alalanet.com/v1/services/mmmmp4tq74qkbrqf

Badge: alalanet status badge

<a href="https://alalanet.com/s/mmmmp4tq74qkbrqf"><img src="https://alalanet.com/badge/mmmmp4tq74qkbrqf" alt="alalanet status"></a>

Own this service? Get verified. Do not want it checked? See the prober page.