Die Werkzeugbeschreibungen sind auf Englisch.

logic-lens — Werkzeugprofil und Verlauf

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.

Aktiv

Kanonische Quelle ↗

Sprache
Python
Lizenz
MIT
Erstellt
Letzte Aktivität
Themen
  • agentic-ai
  • ai-code-review
  • auto-fix
  • benchmark
  • bug-detection
  • claude-code-plugin
  • code-health
  • code-quality
  • code-review
  • codex-cli-plugin
  • debugging
  • developer-tools
  • execution-tracing
  • formal-methods
  • gemini-cli-extension
  • llm
  • logic-analysis
  • semantic-analysis
  • software-engineering
  • static-analysis

Installieren /plugin marketplace add hyhmrright/logic-lens

Aktuelle Messung

21GitHub-Sternestabil
gemessenes Wachstum

Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.

Messverlauf

90 Tage · 90 Messungen maximal
DatumWertMetrik
21GitHub-Sterne
21GitHub-Sterne
21GitHub-Sterne
21GitHub-Sterne
21GitHub-Sterne
21GitHub-Sterne
21GitHub-Sterne
21GitHub-Sterne
21GitHub-Sterne
20GitHub-Sterne
20GitHub-Sterne
20GitHub-Sterne
19GitHub-Sterne
19GitHub-Sterne
19GitHub-Sterne
19GitHub-Sterne
19GitHub-Sterne
18GitHub-Sterne
18GitHub-Sterne
18GitHub-Sterne
18GitHub-Sterne
18GitHub-Sterne
17GitHub-Sterne

Klassifikationen

Bereiche
Typ
Agent-Skills
Anwendungsfälle

Diese Einträge führen dieselben Themen. Es wird keine Ähnlichkeit abgeleitet: genannt werden nur die gemeinsamen Themen.