Sweep a directory, module, or full codebase for logic correctness and produce a scored health dashboard with systemic patterns.
Explain what a specific piece of code actually does for a given input by producing a step-by-step execution trace (interprocedural, with name resolution and type transitions).
AI code reviewer grounded in classic software engineering books for catching design smells, coupling issues, and architectural risks.
Autonomous repository-wide audit-and-fix pipeline: health → review → locate/explain → fix → diff-verify → iterate until clean.
Find logic bugs in a single file or function via semi-formal execution tracing (Premises → Trace → Divergence → Remedy).
Locate the root cause of a CONFIRMED failure via backward-then-forward semi-formal tracing. Trigger when the user provides a stack trace, failing assertion, error message, or…
AI-powered Claude Code skill that performs deep code review using formal logic and reasoning frameworks to detect bugs, anti-patterns, and security risks beyond what linters catch.
Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.