# 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.

- Tier: Indexed (plain plugin)
- Category: Development
- Page: https://www.flowy.sh/listings/hyhmrright-logic-lens
- Source: https://github.com/hyhmrright/logic-lens
- Price: free and open source

## Summary
logic-lens is a Claude Code plugin with 11 hand-picked skills for development work, indexed on Flowy. Install it with the command on its page. It includes bump-version, iterate-skill, new-skill. Its skills do not fire on their own yet. Request auto-invocation to have Flowy route them as you prompt. Free and open source.

## Install (Claude Code)
```
npx -y skills add hyhmrright/logic-lens
```

## Skills
- bump-version
- iterate-skill
- new-skill
- run-iteration-eval
- sync-skill-cache
- logic-diff
- logic-explain
- logic-fix-all
- logic-health
- logic-locate
- logic-review

## FAQ

### What is 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.

### How do I install logic-lens?
Run these in Claude Code: npx -y skills add hyhmrright/logic-lens. Then prompt normally.

### Does logic-lens auto-invoke its skills?
Not yet. It is indexed on Flowy as a plain plugin. Request auto-invocation on its page and Flowy will route its skills for you as you prompt.

### Is logic-lens free?
Yes. Flowy is free and open source, with nothing gated. You can read every skill in full before you install.
