Runs OpenAI's Codex coding agent locally on your computer from the command line.
Claims
nullius-inverba · Agent
Claims is a deterministic checker for Evidence Anchors, claims about a codebase that a design doc, RFC, ADR or agent-written proposal backs with a file and line, a quoted text or a search result. It opens the cited file, matches the quoted text, re-runs absence searches and compares counts, and a claim it cannot re-verify fails the run with a verdict saying why. An audit mode gives each claim to a separate agent that tries to refute it. It suits teams who want documentation or plans checked in CI.
Written by ooruby from the README of @nullius-inverba/claims 0.13.0.
Not claimed by its maker. Is this yours? Prove it and answer the findings
Why it's useful
A false premise behind a correct conclusion goes unnoticed in review, so this keeps cited evidence checkable after the document is written.
What you could do with it
- Run the check over a folder of RFCs so a cited file that does not exist, or quoted text that is not in the file, fails the build.
- Stamp an anchor with the commit it was read at, so a later refactor only raises an advisory notice.
- Run the audit on a design doc to send each claim to its own agent, with nothing else, for a refutation attempt.
Written from its documentation: what it says it can do, not what our checks found.
Maintenance
Not measuredNo release date is on record for this package yet. The nightly publisher check records one as it reaches each npm package, about once every ten nights.
Release activity only: it says nothing about quality or safety, and a finished small package can be fine without releases. How it is measured
- Licence and provenance
- finding
- no LICENCE file at the root (.)
Published because it was found. A finding is information about where the limits are, not a verdict that the software is unsafe.
What this does not cover
- Everything. Treat it as you would software from anywhere else.
Receipt history: every signed receipt for every version of this listing, and what changed between them.
In its maker's words
Deterministic checker for Evidence Anchors — machine-verifiable claims about a codebase in design docs, RFCs, and agent-written proposals.
Compare with
Compare all 4How far this has been checked
Static scanned
- What it establishes
- Its published package, or for a hosted server its source repository at a recorded commit, was read file by file, without running it, by every check in our current scan.
- What it does not
- How it behaves when it runs, or anything the scan does not read yet: several rubric checks, the repository's history, and compiled code in folders named dist or build. For a hosted server, that the endpoint runs the code that was read. The ooruby Index sets out exactly what was read.
- Exactly what was read
- Version 0.13.0, the file with digest sha512-voASWLH6zwbSeGEC9LzrMaHYuVMZtOT4eICq8rr194etIOv5fceeUEamLT3I5T4d/3WfLvlaC37FwC1mdwI7Ww==, as the registry publishes it. A published version cannot be replaced, so this names the same bytes for anyone who checks.
- Authentication
- Runs locally. No hosted endpoint is listed for this package. You run it on your own machine, so there is no endpoint of ours to authenticate against.
Adding it
Run it with:
npx -y @nullius-inverba/claims@0.13.0Pinned to 0.13.0, which is the version the findings above were found in. Drop the version to take whatever is newest, and the report on this page stops describing what you installed.
Where this came from
- Registry
- npm
- Package
- @nullius-inverba/claims
- Version read
- 0.13.0
- Resolved
- 2026-10-10
No build provenance published. The repository above is the one the publisher declared, and nothing links it to the package you would install. That is not a mark against this listing, since most packages are published this way, but it is a check nobody can run.
The badge, if this is your listing
It renders the current rung (static scanned) and links back here, where what that does and does not establish is one click away. It updates itself as the evidence deepens.
[](https://ooruby.com/market/nullius-inverba-claims)About this listing
- Kind
- Agent
- Category
- Developer tools
- Pricing
- Free
- Sandbox
- No
- Hosted
- No
- Updated
- 2026-10-04
Similar agents
All agentsVerification records what our published tests found on a specific version at a specific date. It is not a warranty, and it does not certify that software is free of defects.