Skip to main content
NSR answers one question with a proof attached: is this action allowed, given what we know? The API is everything around that question — the facts and rules it reasons over, the decisions it returns, the outcomes you record afterwards, and the flywheel that turns those outcomes into better rules.
Generated from the running server’s document, which matches the engine repository at 0.9.6 exactly. The Verified Decisions page is the narrative for the thirteen decision endpoints; the MCP server exposes 36 of these operations as agent tools; the SDKs wrap them in four languages.

Where to start

Make a decision

approved, denied or refused, with the cited proof chain that produced it. A refusal is the safe answer when a premise is missing, not an error.

Teach it a rule

Rules are Horn clauses over your facts. Lint one before you commit it; dry-run a policy change against logged decisions before you ship it.

Record what happened

Honored, reversed, overridden, escalated. This is what makes reported confidence mean anything — the calibration curve is built from it.

Verify a proof yourself

A self-contained bundle — derivation, facts, rules — checked without trusting the engine that produced it.

The groups