hyhmrright/logic-lens

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.

22Stars on the repository
3Files it configures its agents with
589Tokens loaded in every session
4Agents configured

Instructions

Settings