Intent Computing

Intent Check · Intent Computing

Code review backed by formal verification

A free plugin for Claude Code and Codex. It checks your code against what it is meant to do, and tells you where it falls short.

Install the pluginTry it

Add upload rate limit

  1. Add a rate limit to the upload endpoint: 10 uploads per minute for each user.

  2. I'll add a limiter to api/uploads.py and cover it with tests.

  3. Edited 1 file, ran 1 command +42−3

    • Edited api/uploads.py+42−3
    • Ran pytest tests/test_uploads.py
  4. Intent Check found 2 concerns

  5. Intent Check is right: the limit is per IP, not per user, and it resets each minute, so 20 uploads fit around :59. Switching to a per-user sliding window.

  6. Edited 1 file, ran 1 command +11−6

    • Edited api/uploads.py+11−6
    • Ran pytest tests/test_uploads.py
  7. Intent Check: no concerns
Sample session: Intent Check reviews each change while your agent keeps working.

What it does

Intent Check reviews code for Claude Code and Codex agents. Leave it on to check each change as your agent makes it, or point it at code that is already written.

Its reviews are built on formal methods. It states what your code should do as precise claims, then uses verification to find the places where the code breaks them.

Fast
Results come back while you keep working.
No interruptions
Nothing to configure. It stays quiet while it checks, and speaks up when it finds something.
Backed by formal verification
Each issue names the claim your code breaks and an input that shows it.

Install

  1. Run one commandYou need Claude Code 2.1.292 or newer, or Codex CLI 0.147 or newer, plus Node.js 18 or newer.
    In your terminal:
    claude plugin install intent --marketplace nlp-research-rosu/intent-check

    Covers the terminal, the desktop app and VS Code. Then restart Claude Code, or run /reload-plugins in an open session.

    In your terminal, paste both lines:
    codex plugin marketplace add nlp-research-rosu/intent-check
codex plugin add intent@intentcomputing

    Then start codex and choose "Trust all and continue".

  2. Connect your accountSend your agent any prompt. Intent Check replies with a link: sign in with GitHub or email, then approve this machine.
  3. Check it is onIn Claude Code, run /intent:status. In Codex, ask the agent for the Intent Check status.

Something not working? See install help.

Try it on your code

Give your agent a small task and keep working. Intent Check reviews the changes when your agent finishes, and its notes show up in the session with a link to the full report.

Paste this prompt, or use your own:
Build a small Python CLI that splits a bill between friends: total, tip percentage, and names. Round each share to the cent so the shares add up exactly to the total. Add tests.

DeepScan reads a whole repository and reports where the code breaks what its docs, types and tests promise.

In Claude Code, run:
/intent:deepscan
In Codex, ask:
Run a deepscan of this repo

A scan runs in the background for about 15-20 minutes. How DeepScan works