Aletheia Certified Compute

io.github.shaneraphelv1.0.0Updated Oct 8, 2026

Certified program synthesis. Pay per call in USDC via x402; refusals never billed.

VerifiedStreamable HTTPWeb executableAI & MLDeveloper ToolsFinance

Overview

AI-generated overview

A remote MCP endpoint that offers certified program synthesis, billed per call in USDC through x402.

What it does
The registry describes it as a certified program synthesis service, meaning an assistant can request generated programs that come with some form of certification. Calls are paid individually in USDC through the x402 payment scheme, and the description states that refusals are never billed. No tool list, README, or usage documentation is provided, so the exact tool names and inputs are unknown.
When to use it
Consider it when you want an assistant to obtain synthesized code with an accompanying certification and you are willing to pay per call in USDC. Because no tool list or documentation is published, it is hard to judge fit in advance; most users should wait for clearer documentation.
Requirements
A remote streamable HTTP connection to the provider's endpoint. The manifest declares no authentication, no environment variables, and no headers, but the service charges per call in USDC via x402, so a funded crypto wallet capable of x402 payments is implied. Network access is required.
Before you install
This server involves payments: each call is billed in USDC through x402, which means spending real funds and likely connecting a wallet or payment credential. The manifest declares no authentication, so verify who operates the endpoint before sending payments. No tool list, README, or privacy details are available, so what data is sent to the third-party service and how it is handled is unclear.

Installation

In SourceWeft

  1. Open Aletheia Certified Compute in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

Other MCP clients

Add this to your client's mcpServers config.

{
  "mcpServers": {
    "aletheia": {
      "type": "http",
      "url": "https://aletheia-x402.loca.lt/mcp"
    }
  }
}

Tools

0
Tool metadata has not been indexed yet.

Version history

1
  1. v1.0.0LatestOct 8, 2026