{
  "name": "Ohmatic",
  "description": "Deterministic circuit (ERC) verification over HTTP and MCP. Verifies agent-generated circuits and returns pin-level diagnostics + machine-applicable repair feedback, or refuses. Verifies; does not generate.",
  "url": "https://ohmatic.dev",
  "documentation": "https://ohmatic.dev/agents.html",
  "openapi": "https://ohmatic.dev/openapi.json",
  "llms_txt": "https://ohmatic.dev/llms.txt",
  "llms_full_txt": "https://ohmatic.dev/llms-full.txt",
  "contact": "contact@ohmatic.dev",
  "api": {
    "base_url": "https://ohmatic.dev",
    "canonical_base_url": "https://ohmatic.dev",
    "auth": { "type": "bearer", "obtain": "POST /v1/anon-key (free, self-serve) or /v1/signup (email)" },
    "endpoints": [
      { "method": "POST", "path": "/v1/verify", "summary": "Verify a circuit; returns diagnostics + repair feedback.", "body": ["circuit", "generation_id?", "max_rounds?"] },
      { "method": "POST", "path": "/v1/repair-feedback", "summary": "Same input; compact repair patch only." },
      { "method": "POST", "path": "/v1/anon-key", "summary": "Mint a free anonymous key (one circuit)." },
      { "method": "GET", "path": "/v1/billing/status", "summary": "Tier, free remaining, prepaid balance (USD)." },
      { "method": "GET", "path": "/v1/billing/catalog", "summary": "Buyable credit packs + subscription plans (public, no auth)." },
      { "method": "POST", "path": "/v1/billing/checkout", "summary": "Buy a credit pack; returns hosted checkout URL.", "body": ["pack"] },
      { "method": "POST", "path": "/v1/billing/subscribe", "summary": "Start a monthly plan; returns hosted checkout URL.", "body": ["plan"] },
      { "method": "POST", "path": "/v1/referral", "summary": "Caller's referral code + share link + earnings." },
      { "method": "GET", "path": "/v1/health", "summary": "Liveness." }
    ]
  },
  "mcp": {
    "transport": ["stdio", "http"],
    "tools": ["ohmatic_verify", "ohmatic_repair_feedback", "ohmatic_credits"]
  },
  "pricing": {
    "model": "prepaid_usd_credits",
    "free_trial": "1 circuit per anonymous key (lifetime); 3 per month with email signup",
    "unit_usd": 0.02,
    "activation_usd": 0.02,
    "loop_rate": "compute_cost * 1.5",
    "min_topup_usd": 5,
    "credit_packs_usd": [5, 10, 25, 50],
    "subscriptions": [
      { "price_usd_per_month": 10, "credits_usd_per_month": 11, "welcome_usd": 5 },
      { "price_usd_per_month": 25, "credits_usd_per_month": 30, "welcome_usd": 10 }
    ],
    "referral": "referrer earns 10% of a referred user's spend in their first 14 days, as bonus credits",
    "rollover": true,
    "spend_cap": "caller-set max_rounds (capped calls are unbilled)",
    "merchant_of_record": "Polar"
  },
  "constraints": {
    "verifies_not_generates": true,
    "deterministic": true,
    "guarantees": "internal electrical/structural consistency, NOT fitness for purpose",
    "not": ["behavioral simulation", "part selection", "engineering sign-off"]
  }
}
