Search / io.github.shaneraphel/aletheia
Aletheia Certified Compute
not classifiedCertified program synthesis. Pay per call in USDC via x402; refusals never billed.
v1.0.0 · active · website · descriptor JSON · versions
Search / io.github.shaneraphel/aletheia
Certified program synthesis. Pay per call in USDC via x402; refusals never billed.
v1.0.0 · active · website · descriptor JSON · versions
{
"mcpServers": {
"aletheia": {
"type": "http",
"url": "https://aletheia-x402.loca.lt/mcp"
}
}
}claude mcp add --transport http aletheia https://aletheia-x402.loca.lt/mcp[mcp_servers.aletheia]
url = "https://aletheia-x402.loca.lt/mcp"
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"aletheia": {
"type": "remote",
"url": "https://aletheia-x402.loca.lt/mcp",
"enabled": true
}
}
}{
"mcpServers": {
"aletheia": {
"type": "http",
"url": "https://aletheia-x402.loca.lt/mcp"
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=aletheia&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vYWxldGhlaWEteDQwMi5sb2NhLmx0L21jcCJ9"
}{
"servers": {
"aletheia": {
"type": "http",
"url": "https://aletheia-x402.loca.lt/mcp"
}
}
}{
"mcpServers": {
"aletheia": {
"httpUrl": "https://aletheia-x402.loca.lt/mcp"
}
}
}extensions:
"aletheia":
enabled: true
name: "aletheia"
type: streamable_http
uri: "https://aletheia-x402.loca.lt/mcp"
timeout: 300
Not scored: fewer than three checks apply, usually because no remote answered a credential-free probe or the server is a local package.
protocol.modern, protocol.stateless, protocol.transport, protocol.list_ttlno remote answered a protocol handshake (not probed yet, unreachable, or local-only)auth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptions, tools.description_length, tools.schemas, tools.annotations, tools.directory_hints, tools.token_cost, tools.api_dumptool list unknown (behind auth, not probed, or empty)stability.changes, stability.rug_pulltool list unknowndeps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI packageNo tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+website -unreachable(6 failures) +updated-12d-ago -no-repository
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
| remote | auth | reachable | uptime 30d | p50 | protocol | last ok |
|---|---|---|---|---|---|---|
https://aletheia-x402.loca.lt/mcp streamable-http | unknown | no (6 failures) | 0% | – | – | – |
No tools observed. Tools appear once a credential-free probe can list them.
Schemas: list_tools.
{
"name": "io.github.shaneraphel/aletheia",
"title": "Aletheia Certified Compute",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-10-17/server.schema.json",
"remotes": [
{
"url": "https://aletheia-x402.loca.lt/mcp",
"type": "streamable-http"
}
],
"version": "1.0.0",
"websiteUrl": "https://aletheia-x402.loca.lt",
"description": "Certified program synthesis. Pay per call in USDC via x402; refusals never billed."
}