DEO Math

active

DEO Math uses no generative model inference in its core evaluator. The Verified Math Checkpoint independently executes a bounded integer AST over explicit cases, while other endpoints provide deterministic research governance. A finite PASS is not a general proof.

DataBasex402 v2exactdeomath.org ↗︎

Settled via Coinbase.

Transactions · 30d
2
Volume · 30d
$0.06
Unique buyers · 30d
2
Uptime · 30d
100.0%
Latency p50
224ms
Reported calls · 30d
1

Endpoints (8 live)

  • POST /v1/research-checkpoint — Evaluate whether a mathematical research branch should continue, revise, abstain, or escalate. (0.03 USDC on Base)
  • POST /v1/topology-translation/check — Critique topology-translation strategies before expensive continuation. (0.05 USDC on Base)
  • POST /v1/jacobian-counterexample/critique — Critique counterexample-style arguments for formalization gaps and original-problem mismatch. (0.1 USDC on Base)
  • POST /v1/trial/research-checkpoint — Evaluate whether a mathematical research branch should continue, revise, abstain, or escalate. (0.03 USDC on Base)
  • POST /v1/claim/audit — Audit whether a mathematical claim exceeds the supplied evidence. (0.05 USDC on Base)
  • POST /v1/verified-math/checkpoint — Execute a bounded integer relation over supplied cases and return exact PASS or counterexample evidence. (0.1 USDC on Base)
  • POST /v1/proof-strategy/evaluate — Review proof strategy alignment, missing assumptions, and claim authority. (0.05 USDC on Base)
  • POST /v1/evidence-chain/verify — Verify a mathematical evidence chain for gaps and unsupported promotion. (0.05 USDC on Base)

First seen · last seen · last active