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

Boffin is a staff-engineer control layer for AI coding agents that provides context-specific architectural constraints to guide agents during code edits and requires verification of results. Unlike static repository-wide rule files, Boffin dynamically routes only the relevant constraints for each file being edited and demands proportional verification, as demonstrated in a DuckDB case study where a guided refactor achieved a balanced +17/-17 line change with 2,104 passing assertions. The tool works across multiple AI editors (Cursor, Claude Code, Codex, OpenCode) and is distributed as an npm package.