Development
Hook
Hooks
What logic-lens runs automatically, and when. A hook is a command Claude Code fires at a fixed moment, without you asking for it.
Install
> /plugin marketplace add hyhmrright/logic-lens > /plugin install logic-lens@logic-lens-marketplace
Ships with logic-lens. Installing the plugin gets these hooks.
What fires, and when
SessionStart
Fires once when a session begins, and again after a context compaction. It is where a plugin sets up its environment, or restores state the compaction dropped.
- Matches
startup|clear|compactbash "${CLAUDE_PLUGIN_ROOT}/hooks/session-start"
Ships withlogic-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.
Get the whole plugin
Stats
25
Stars
2
Forks
Active
Maintenance
Python
Language
MIT
License
27d ago
Last commit
5mo ago
Created
Repo: hyhmrright/logic-lens

