Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, type-contract breaches & async hazards that linters miss. Six skills · Claude Code · Codex CLI · Gemini CLI.
These files are hyhmrright/logic-lens's own configuration. They tell Claude Code, Codex, OpenCode and Gemini CLI how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.
AGENTS.md A 304 tok GEMINI.md A 285 tok .claude/settings.json A —