llms.txt
+9 −8
https://hongchenlingjing.com/llms.txt
− ## LingNao — audit gate for agent workflows− Plug it between "the agent produced a number" and "anyone acts on it".− - [Integrate LingNao](https://hongchenlingjing.com/verify/integrate.html): audit-gate integration guide (HTTP + MCP, real request/response examples)− - [Playground](https://hongchenlingjing.com/verify/): try it in the browser− - MCP (stdio): `npx lingnao-mcp` (npm: lingnao-mcp)− - HTTP: `POST https://hongchenlingjing.com/verify` — body `{"items":[{"id":"i1","kind":"algebraic","payload":{"equations":["x+2=5"],"claimed":{"x":3}}}]}`; kinds: algebraic | constraint; English input gets English summaries.− - Free forever via web / `npx lingshu-solver`; hosted calls ¥0.01 each, currently free — see [payment](https://hongchenlingjing.com/pay/en.html) (corporate account, self-service crediting)− Medical, mental-health, education & training, investment or financial advice, and legal advice are refused (HTTP 422, `compliance:true`). An audit tool must refuse what it cannot deterministically judge.+ - Free forever via web / `npx lingshu-solver`; the hosted MCP endpoint is free as well, no metering — see [support](https://hongchenlingjing.com/pay/en.html) (corporate account, any amount, nothing to do after paying)+ ## LingNao — AI number verification API (verify the numbers your AI produces)+ - Playground: <https://hongchenlingjing.com/verify/>+ - API: `POST https://hongchenlingjing.com/verify` — body `{"caseLabel":"...","items":[{"id":"i1","kind":"algebraic","payload":{"equations":["x+2=5"],"claimed":{"x":3}}}]}`; three verdicts only: verified | refuted | unverified; English in, English out.+ - Claim kinds (`items[].kind`): `algebraic` (equations + claimed), `membership` (claimed value ∈ certified solution set), `entail` (∀ certified solutions satisfy a boundary), `consistency` (≥2 statements mutually non-exclusive), `constraint`. `items[].depends:[id]` builds a DAG; the kernel topologically sorts it, refuses on cycles (422), and composes by `∃ refuted ⇒ refuted; else ∀ verified ⇒ verified; else 𝕌`. Optional `items[].tol` (relative, capped at 1e-3) and request-level `budget` (default+ - **Variable names.** Multi-character names work when declared in `variables` `["subtotal","tax","total"]`: the solver keeps them whole and echoes the resolved list in `varNames`. With `variables` empty the default is single-letter product parsing (`xy` → `x*y`); if that would exceed the 6-variable cap the engine switches to whole-identifier reading and flags `interpretation:"whole_identifier_fallback"`. Read `varNames` back before trusting `values`.+ - Integration guide (JS / Python / LangChain / OpenAI tool schema / MCP snippets): <https://hongchenlingjing.com/verify/integrate.html>+ - MCP (stdio): `npx lingnao-mcp` — one gateway tool `lingnao`+ Medical, mental-health, education & training, investment or financial advice, and legal advice are refused (HTTP 422, `compliance:true`). A verification service must refuse what it cannot check.