Skip to content
#

logic-analysis

Star

Here are 2 public repositories matching this topic...

Language: Python
Filter by language
All 4 Python 2 C# 1 Dart 1

hyhmrright / logic-lens

Star 4

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.

debugging benchmark static-analysis developer-tools code-review software-engineering formal-methods code-quality 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 21, 2026
  • Python

Improve this page

Add a description, image, and links to the logic-analysis 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 logic-analysis topic, visit your repo's landing page and select "manage topics."

Learn more