by hyhmrright · Codex Skill · ★ 24
Logic-Lens Logic-first code review using semi-formal execution tracing. Finds behavioral bugs that linters, type checkers, and unstructured review miss. Nine Risks • Example • Six Skills • Benchmark • Installation • Usage • Configuration • Contributing <img src="https://img.
| Stars | 24 |
| Forks | 2 |
| Language | Python |
| Category | Codex Skill |
| License | MIT |
| Quality Score | 65.8954339569756/100 |
| Open Issues | 5 |
| Last Updated | 2026-09-30 |
| Created | 2026-04-21 |
| Platforms | claude-code, cli, codex, gemini, python |
| Est. Tokens | ~19k |
Explore other popular codex skill tools:
logic-lens is 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 . It is categorized as a Codex Skill with 24 GitHub stars.
logic-lens is primarily written in Python. It covers topics such as agentic-ai, ai-code-review, auto-fix.
You can find installation instructions and usage details in the logic-lens GitHub repository at github.com/hyhmrright/logic-lens. The project has 24 stars and 2 forks, indicating an active community.
logic-lens is released under the MIT license, making it free to use and modify according to the license terms.