Developer APIs.
Metered per call.

One platform, many endpoints. Start with SAT/SMT solving — pay with USDC micropayments via x402, or API keys.

Browse Endpoints API Status 
curl -X POST https://api.mcpte.ch/v1/smt \
  -H 'Content-Type: application/json' \
  -d '{"problem":"(declare-const x Int) (assert (= x 5)) (check-sat)"}'

# { "job_id": "...", "status": "queued" }

Featured Endpoints

SMT Solving

live
POST /v1/smt

Submit SMT-LIB 2.0 problems and get satisfiability verdicts, models, and unsat cores back — asynchronously, per call.

Learn more →

SAT Solving

live
POST /v1/sat

Submit DIMACS CNF problems and get a satisfiability verdict back — asynchronously, per call.

Learn more →

See all endpoints →

How It Works

Smart Routing

Each request is automatically routed to the best backend for the job.

Flexible Payments

API keys for traditional billing, or USDC on Base via x402 — no subscriptions required.

Every API Available via MCP

Reach any endpoint through native Model Context Protocol. Works with Claude Desktop, Cursor, and more.

Free Tier

Generous free usage, no account needed. API keys and x402 for higher usage.