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
Measured: Oct 23, 2026 · 72 observations
Domains & Uses
- Domains
- Agents, skills and MCP
- Uses
- Agent skills
Installation
/plugin marketplace add hyhmrright/logic-lensCheck at the source
Compatibility and prerequisites must be checked in the official documentation.
https://github.com/hyhmrright/logic-lensClassifications
- Nature
- Tool
Measurement history
Comparable readings are grouped by signal and unit.
Stars
25stars · Oct 23, 2026
+1 (+4.2 %)since Oct 16, 2026
Exact values · 8 readings
| Measured | stars | Change |
|---|---|---|
| 25 | 0 | |
| 25 | 0 | |
| 25 | 0 | |
| 25 | 0 | |
| 25 | 0 | |
| 25 | +1 | |
| 24 | 0 | |
| 24 | · |