hyhmrright / logic-lens Star 23 Code Issues Pull requests Discussions 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 Aug 29, 2026 Python
TonyGnk / propositional_analyzer Star 3 Code Issues Pull requests A useful tool for analyzing propositional logic expressions sat-solver logic-analysis algorithmic-visualization Updated Feb 17, 2024 Dart
junior76-expert / LogicMaster-Archive Star 1 Code Issues Pull requests Comprehensive analysis and documentation of binary, IP, and data mapping challenges. python-script cybersecurity-education password-decryption logic-analysis hacking-logic Updated Jan 14, 2026 Python
KMORaza / Logic_Analyzer_Software Star 0 Code Issues Pull requests Logikanalysator-Software, geschrieben in der CSharp-Programmiersprache (Logic Analyzer software written in C#) desktop-app simulator simulation waveform desktop-application simulations logic-analyzer simulators waveform-visualization desktop-app-development logic-analysis logic-analyzer-software desktop-application-development Updated May 18, 2025 C#