Narrow Highway
Deterministic · no model in the loop

A deterministic
verification engine.

Bring a claim. Get a verdict, the worked reasoning, and a permanent receipt you can re-verify — across 65 domains. It eliminates what is not the answer so what survives stands on its own.

Free, no account, sovereign — runs offline on your own box, stdlib-only, no per-call cost.

verify
    sealed ·

    Live — every result here is computed by the engine and the seal is real: click the hash to re-check it. It proves numbers, constants and conversions; hand it a claim it cannot compute and it declines, pointing to the cited source, rather than bluff.

    65
    verifier domains
    133
    domains accepted
    94
    callable tools
    673,243
    public-domain sources
    The concordance it reasons over

    One kernel. Every calculation, joined.

    The engine does not guess — it verifies against a map. Every calculation the sciences run, placed by its form, joined to the theory it rests on, and bridged to the same computation in other fields. At the centre are the 23 master equations — the finite set of formulas that genuinely connect across domains, down to the Bellman equation, the recursive form of acting well across time that is also the floor under the strategy patterns. This is the body the verifier walks; the box above draws on it.

    Seven live views — kernel, form wheel, one body, spiral, domains, bridges, and strategy: the same method turned on history — the recurring patterns of what endures, across war, politics, business and ministry. Select any master equation, field, form, theory, calculation, or historical pattern; the selection is kept as you move between views. Open the full Atlas › · the strategy concordance ›

    The receipt, not “trust me”

    Every answer is a permanent, re-checkable seal.

    A verdict, the worked trail, and a content-addressed hash. Re-fetch the record and the bytes must match, or it is not that record. Personal context is stripped before anything is stored — private in, verified out.

    Try the Gateway › strip PII in your browser, verify a claim, get a receipt

    Addressable

    Cite it forever

    Each result lives at /s/<hash> — a crawlable receipt page and raw JSON. Hand it to your users; the proof travels with the claim.

    Independent

    Verify without trusting us

    The seal spec is public and the checker is ~60 lines of standard-library Python — no Narrow Highway code, no network. If the script and the engine ever disagree, that is the alarm.

    Honest

    Three states, never a bluff

    holds · broken · cannot check. It declines when it cannot verify, rather than inventing an answer to fill the silence.

    One engine · one kernel

    Verification integrated across 65 domains.

    Each domain carries its own worked method — from a molar mass to a bond yield to a boiling point to a scripture reference. All of them resolve through a single kernel: find, distinguish, verify, preserve the trail, never silently upgrade authority. Integrating them under one deterministic roof is the work.

    For your app, your agent, your business

    The deterministic work your model is bad at — done cheaply, with a receipt.

    An LLM burns tokens to unreliably check arithmetic, resolve a fact, or cite a source. Hand those to Narrow Highway instead: one call, a deterministic answer, a receipt you can show your own users. No key, no account, open CORS from any origin.

    POST /audit · from a browser or a server
    # the fastest path from a sentence to a receipt
    fetch("https://narrowhighway.com/audit", {
      method: "POST",
      headers: { "content-type": "application/json" },
      body: JSON.stringify({
        text: "aspirin C9H8O4 is 180.16 g/mol"
      })
    }).then(r => r.json())
    // → { verdict, trail, seal: "/s/<hash>" }
    One line for an agent. claude mcp add --transport http narrow-highway https://narrowhighway.com/mcp94 tools, six profiles, no SDK, no auth.
    Requisite variety, as a service. You supply possibility; the engine returns the checked survivors. It is the deterministic instrument your probabilistic model lacks.
    Writes stay yours. Reads are open to every origin; a write still needs an Ed25519 signature you hold, not a session — so the open door grants no authority.
    Nothing is generated. A conduit, not a source: it finds and verifies, and it will tell you plainly when it cannot.

    The same engine, its foundation made plain.

    Narrow Highway reaches the world in its own language here. The witness surface names the Rock it is built on — Scripture in the original languages, Christ at the center.

    Visit the witness ›