logic-lens

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.

debugging

View on GitHub Website

22 Stars

2 Forks

0 Watchers

Python Language

mit License

94 SrcLog Score

Cost to Build

$21.3K

Market Value

$39.4K

How is this calculated?

Growth over time

2 data points · 2026-08-09 → 2026-09-06

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about logic-lens

Question copied to clipboard

What is the hyhmrright/logic-lens GitHub project? Description: "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.". Written in Python. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone logic-lens

Clone via HTTPS

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

Clone via SSH

[email protected]:hyhmrright/logic-lens.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the logic-lens issue tracker:

Open GitHub Issues

Similar to logic-lens

cli reactotron ndb Android-Debug-Database post-mortems node-in-debugging Under-the-hood-ReactJS XCGLogger debugging-stories netfox clockwork pyrasite ResponseDetective gef augury Watchdog frodo cpplinks pwndbg CocoaDebug stern DebugDrawer debug_kit bugsnag-android birdseye icecream LLDB tensorflow-talk-debugging CocoaDebugKit trace-nodejs