Certified program synthesis. Pay per call in USDC via x402; refusals never billed.
接入配置
选择客户端，复制配置，再按项目文档补齐环境变量。
claude mcp add --transport http aletheia-certified-compute https://aletheia-x402.loca.lt/mcp~/.codex/config.toml
[mcp_servers.aletheia-certified-compute]
url = "https://aletheia-x402.loca.lt/mcp"
# codex mcp add aletheia-certified-compute --url https://aletheia-x402.loca.lt/mcp~/.cursor/mcp.json
{
"mcpServers": {
"aletheia-certified-compute": {
"url": "https://aletheia-x402.loca.lt/mcp"
}
}
}.vscode/mcp.json
{
"servers": {
"aletheia-certified-compute": {
"type": "http",
"url": "https://aletheia-x402.loca.lt/mcp"
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"aletheia-certified-compute": {
"httpUrl": "https://aletheia-x402.loca.lt/mcp"
}
}
}claude_desktop_config.json · Customize › Connectors › Add custom connector
{
"mcpServers": {
"aletheia-certified-compute": {
"command": "npx",
"args": [
"-y",
"mcp-remote",
"https://aletheia-x402.loca.lt/mcp"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"aletheia-certified-compute": {
"url": "https://aletheia-x402.loca.lt/mcp"
}
}
}