Plug LingNao into your agent workflow as the audit gate

Where it goes

agent / LLM produces numbers  →  LingNao gate  →  verified: continue & archive with the proof object  ·  refuted: stop, discard, fix the prompt  ·  unverified: route to a human.

One rule: nothing unverifiable is allowed to silently pass. That is the whole product.

The three verdicts — and there is no fourth

verified a deterministic checker confirmed it.

refuted a deterministic checker disproved it (e.g. the claimed root is wrong).

unverified 𝕌 — it honestly abstains. No "probably fine", no confidence score, no vibes.

Call it over HTTP

curl -X POST https://hongchenlingjing.com/verify \
  -H "Content-Type: application/json" \
  -d '{"caseLabel":"invoice-check",
       "items":[{"id":"i1","kind":"algebraic",
                 "payload":{"equations":["x+2=5"],
                            "claimed":{"x":3}}}]}'

Real response (abridged; measured 2026-10-01):

{
  "ok": true,
  "reportId": "7c7aff229293858f",
  "summary": { "verified": 1, "refuted": 0, "unverified": 0 },
  "items": [ { "verdict": "verified",
               "evidence": { "solutions": [ { "values": [3],
                 "tier": "proven", "certified": true } ] },
               "proofObject": { "certKind": "...", "scope": "...", "limitations": "..." } } ]
}

No claimed value? You get unverified ("solved the true solution set, but nothing to compare against") — the gate never invents a verdict.

Refused domains — by design

Medical, mental-health, education & training, investment or financial advice, legal advice → HTTP 422 with compliance: true. An audit tool must refuse what it cannot deterministically judge. Inside scope: everyday numbers, formulas, algebraic constraints, logic.

Two ways to integrate

HTTP: POST /verify as above — drop-in behind your existing retry/queue.

MCP (stdio): npx lingnao-mcp — one gateway tool lingnao, for agent frameworks that speak MCP.

Kernel reports deterministic: true, offline: true; nothing about your payload is persisted.

Licence

Non-commercial use (personal, study, teaching, non-profit internal) free. Commercial use requires prior written licence — 广州市红尘灵境数字科技有限公司.