Logic-first code review using semi-formal execution tracing. Finds behavioral bugs that linters miss. Six skills including autonomous audit-and-fix. Works with Claude Code, Codex CLI, and Gemini CLI.
static-analysis logic code-review bug-detection gemini-cli claude-code codex-cli autonomous-debugging claude-code-plugin gemini-cli-extension execution-tracing semi-formal-reasoning
-
Updated
Apr 22, 2026 - Shell