logic-lens

SkillGitHubActivePython

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.

Description provenance: Original source

Open canonical source

Measured: Oct 22, 2026 · 71 observations

Domains & Uses

Domains: Agents, skills and MCP
Uses: Agent skills

Installation

/plugin marketplace add hyhmrright/logic-lens

Check at the source

Compatibility and prerequisites must be checked in the official documentation.

https://github.com/hyhmrright/logic-lens

Classifications

Nature: Tool

Measurement history

Comparable readings are grouped by signal and unit.

Stars

25stars · Oct 22, 2026

+8 (+47.1 %)since Aug 10, 2026

Exact values · 71 readings

Measured	stars	Change
Oct 22, 2026	25	0
Oct 21, 2026	25	0
Oct 20, 2026	25	0
Oct 19, 2026	25	0
Oct 18, 2026	25	+1
Oct 17, 2026	24	0
Oct 16, 2026	24	0
Oct 15, 2026	24	0
Oct 14, 2026	24	0
Oct 13, 2026	24	0
Oct 12, 2026	24	0
Oct 11, 2026	24	0
Oct 10, 2026	24	0
Oct 9, 2026	24	0
Oct 8, 2026	24	0
Oct 7, 2026	24	0
Oct 6, 2026	24	0
Oct 5, 2026	24	0
Oct 4, 2026	24	0
Oct 3, 2026	24	0
Oct 2, 2026	24	0
Oct 1, 2026	24	0
Sep 30, 2026	24	-1
Sep 29, 2026	25	0
Sep 28, 2026	25	0
Sep 27, 2026	25	0
Sep 26, 2026	25	0
Sep 25, 2026	25	0
Sep 24, 2026	25	0
Sep 23, 2026	25	0
Sep 22, 2026	25	+2
Sep 20, 2026	23	0
Sep 19, 2026	23	0
Sep 18, 2026	23	0
Sep 17, 2026	23	0
Sep 16, 2026	23	+1
Sep 15, 2026	22	0
Sep 14, 2026	22	0
Sep 13, 2026	22	0
Sep 12, 2026	22	0
Sep 11, 2026	22	0
Sep 10, 2026	22	0
Sep 9, 2026	22	0
Sep 8, 2026	22	0
Sep 7, 2026	22	0
Sep 6, 2026	22	0
Sep 5, 2026	22	0
Sep 4, 2026	22	+1
Sep 2, 2026	21	0
Aug 31, 2026	21	0
Aug 30, 2026	21	0
Aug 29, 2026	21	0
Aug 28, 2026	21	0
Aug 27, 2026	21	0
Aug 26, 2026	21	0
Aug 25, 2026	21	0
Aug 24, 2026	21	+1
Aug 23, 2026	20	0
Aug 22, 2026	20	0
Aug 21, 2026	20	+1
Aug 20, 2026	19	0
Aug 19, 2026	19	0
Aug 18, 2026	19	0
Aug 17, 2026	19	0
Aug 16, 2026	19	+1
Aug 15, 2026	18	0
Aug 14, 2026	18	0
Aug 13, 2026	18	0
Aug 12, 2026	18	0
Aug 11, 2026	18	+1
Aug 10, 2026	17	·