EVIDENCE · FORMAL CHECKS · PLANNING
A checkable trail for AI agents.
A standalone MCP server, command-line tool and TypeScript SDK.
The core runs locally on a CPU, without a model API key.
Recorded examples. These are actual captured engine results. This static page displays them; it does not run NOETRA or a model. Use the local install below to compute your own examples.
CAPTURED INPUT
Loading recorded example…
No new computation occurs on this page. The input and result are a matched record from the real NOETRA core.
Recorded result
LOADINGInspect the recorded structured result
RUN THE ACTUAL ENGINE
Try it on your own computer.
Install Node.js 24.11+ in the 24.x line, or Node.js 26+. Then run:
npx --yes noetra@0.1.0-alpha.4 test npx --yes noetra@0.1.0-alpha.4 demo
Open http://127.0.0.1:7860 for the working local demo. The self-test checks MCP, SQLite and Z3. For durable agent registration, use a project-local installation.
One minute with the core.
A silent presentation made from real engine output cards, not a browser recording.