Skip to content
#

execution-tracing

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Python 2 JavaScript 1

hyhmrright / logic-lens

Star 3

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

Improve this page

Add a description, image, and links to the execution-tracing topic page so that developers can more easily learn about it.

Curate this topic

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