Skip to content
#

execution-tracing

Here are 9 public repositories matching this topic...

Language: All
Filter by language

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.

  • Updated Aug 29, 2026
  • Python

Add this topic to your repo

To associate your repository with the execution-tracing topic, visit your repo's landing page and select "manage topics."

Learn more