Logic-first AI code review via semi-formal execution tracing. Catches behavioral bugs, type-contract breaches & async hazards that linters miss — across 9 risk dimensions. Six skills · Claude Code · Codex CLI · Gemini CLI.
debugging static-analysis developer-tools code-review software-engineering formal-methods code-quality code-smells semantic-analysis bug-detection auto-fix llm code-health ai-code-review logic-analysis agentic-ai claude-code-plugin gemini-cli-extension execution-tracing codex-cli-plugin
-
Updated
May 7, 2026 - Python