Boffin - Staff-engineer control layer for AI coding agents

Show HN: Boffin – Staff-engineer layer for AI coding agents

Boffin - Staff-engineer control layer for AI coding agents

Boffin acts as a staff-engineer control layer for AI coding agents like Cursor, Claude Code, and Codex, preventing agents from turning small fixes into massive, unnecessary rewrites. Unlike static AGENTS.md files, Boffin dynamically routes only the architectural constraints relevant to the specific file being edited and enforces verification proportional to the change. Powered by ParselFire Core, it ensures code integrity by injecting load-bearing constraints before edits and requiring proof of correctness afterward, making it an essential tool for maintaining code quality in AI-assisted development workflows.

You ask for a 15-line fix; the agent comes back with a 500-line renovation. Boffin gives the agent the architectural constraints that apply to the file it is about to touch, then makes it verify the result.
  1. Supermancho

    This repo adds context on "how things should be done", much like a CONTRIBUTING.md or CONTEXT.md

    What it provides beyond that is:

    * profiles, which can also be implemented as a directive in any prompt, eg "use CONTEXT-lite.md" as opposed to a different agent reasoning level. You'll just have to memorize them?

    * opinionated choices about host implementation (for Codex use CONTEXT.md and Claude use CLAUDE.md, etc)

    * cpp/Python/Universal rulesets

    There's some nice invariant rules and structure[1], to be sure, but that doesn't justify the install for me.

    [1] Everything in the packs are machine-readable rule atoms that are similar to SARIF and RFC 9457. There is also an avante-guarde routing system for selecting to add additional packs to context.

  2. capevace

    I think we are converging on similar approaches to how deterministic quality verification with coding agents should be performed, but from different angles.

    I’ve been tinkering on a package to capture linking, testing and gating quality output in a framework unified way across coding agents.

    I would love to have a chat with you about how you see this space developing and how you look at it.

    https://github.com/mateffy/gesetz

  3. jchook

    Can an AI slop plugin effectively make AI less sloppy?

More from this day

2026-07-26