닫힌 루프 13 · 실측 2026-09-28

INVARA · Independent acceptance checks for AI-coded work

Your coding agent says "done." INVARA checks whether it actually kept the promises you gave it.

You don't need to read the code to accept an agent's work blindly. Seal the acceptance conditions before the work. Judge them afterwards.

Start Free · install What Pro adds INVARA 0.3.0 · no email required

Start now

Claude Code

Install the plugin

/plugin marketplace add Jujitae/invara
/plugin install invara

Optional after installation: /invara:doctor

Codex / other coding agents

Use the shell path

uvx invara list
pip install invara

Use uvx now, or install persistently with pip.

One simple acceptance check

  1. 1.Before work: define what must stay true
  2. 2.Seal the acceptance conditions
  3. 3.Let the coding agent work
  4. 4.Judge the observable evidence
  5. 5.Receive the exact verdict

Exact verdict: PASS · BLOCK · UNVERIFIABLE · HUMAN_REVIEW

Executed teaching case · Windows · INVARA 0.3.0

The checks still passed. The promise didn't.

In a synthetic Windows run, INVARA 0.3.0 sealed a promise not to edit an existing check. Adding a list-greeting feature passed both checks and received PASS. Changing one comment in the protected check after sealing left both checks green, but the next verdict was BLOCK.

01 / Promise sealed first Keep the existing check unchanged.

check_existing.py was protected before the greeting feature was added.

02 / Both checks exit 0 2 of 2 checks pass.

The new list greeting works and the original greeting still works.

03 / Exact verdicts PASSBLOCK

After a post-seal comment edit in the protected check, both checks still passed; INVARA reported the changed bytes.

Download the runnable example Install INVARA Free

Synthetic teaching run, not a customer result or a general correctness claim. The example ZIP contains the exact input, contract, and reproduction steps; it uses INVARA 0.3.0.

Free first · Pro optional

Know what you get before you upgrade.

Free: install the current public tool through Claude Code or a shell-capable agent, seal your acceptance conditions, and receive an exact verdict.

Pro adds Codex work-scope checks and continuing local records for one customer's Windows installation.

USD 14.99 / month

Renews until cancelled. Tax may apply; Codex and API costs are separate. The Pro page explains the agent-assisted Paddle subscription and installation requirements.

See Pro scope, prerequisites and billing

Evidence you can inspect

INVARA verifies declared constraints against observable evidence. It does not prove general software correctness, find bugs, perform a security audit, prevent hallucinations, or autonomously authorize work.

Read the public README and docs

Self-serve install first

Try it on one real AI-coding task.

No repository upload required. If you want to share feedback, tell us what happened after your first verdict.

Try it on one real AI-coding task

Feedback asks only which tool you used, whether you reached a first verdict, what blocked you, whether you would use it again, and an optional email.