Back to all repositories
HY
logic-lens
by hyhmrright
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.
22stars2forks0watchers/subscribers5issues
agentic-aiai-code-reviewauto-fixbenchmarkbug-detectionclaude-code-plugincode-healthcode-qualitycode-reviewcodex-cli-plugindebuggingdeveloper-toolsexecution-tracingformal-methodsgemini-cli-extensionllmlogic-analysissemantic-analysissoftware-engineeringstatic-analysis
- Language
- Python
- License
- MIT License
- Size
- 732 KB
- Created
- Apr 21, 2026
- Last Updated
- Sep 2, 2026
- Last Pushed
- Aug 29, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.