Plugin Claude Code
Plugin marketplace listing 1 plugin: logic-lens.
21 3d ago A
tokens not measured
original MIT
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.
Plugin Claude Code
Plugin marketplace listing 1 plugin: logic-lens.
Plugin Claude Code
Logic-first code review using semi-formal execution tracing. Surfaces behavioral bugs, semantic errors, and runtime failures that linters miss.