hyhmrright/logic-lens

25 stars · Last commit 2026-10-30

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.

PluginWorkflow & Automation Debugging Documentation DevOps & Infra AI & Prompting Security

README preview

# Logic-Lens

Logic-first bug investigation for coding assistants: establish behavioral contracts,
follow real callers and dependencies, trace failure paths, and report reproducible
violations with evidence.

![Version](https://img.shields.io/badge/version-0.7.0-blue.svg)
![License](https://img.shields.io/badge/license-MIT-green.svg)

The core is **tool-neutral Markdown**, with an optional Python CLI for reviews,
portable packaging and evaluations. Codex is the default tested execution backend.
Other coding tools can read the same skill pack or use a command adapter.
**No Claude account, CLI, plugin cache, vendor SDK or npm dependencies are required.**

## Quickstart

Prerequisites for CLI execution: Python 3.11+, Git and an authenticated Codex CLI.
For manual use in an editor/assistant, only the exported Markdown pack is needed.

```bash

View full repository on GitHub →