Le descrizioni degli strumenti sono in inglese.

logic-lens — scheda e storico dello strumento

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.

Attivo

Fonte canonica ↗

Linguaggio
Python
Licenza
MIT
Creazione
Ultima attività
Argomenti
  • 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

Installa /plugin marketplace add hyhmrright/logic-lens

Misurazione attuale

21stelle GitHubstabile
crescita misurata

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

Storico delle rilevazioni

90 giorni · 90 rilevazioni massime
DataValoreMetrica
21stelle GitHub
21stelle GitHub
21stelle GitHub
21stelle GitHub
21stelle GitHub
21stelle GitHub
21stelle GitHub
21stelle GitHub
20stelle GitHub
20stelle GitHub
20stelle GitHub
19stelle GitHub
19stelle GitHub
19stelle GitHub
19stelle GitHub
19stelle GitHub
18stelle GitHub
18stelle GitHub
18stelle GitHub
18stelle GitHub
18stelle GitHub
17stelle GitHub

Classificazioni

Ambiti
Tipo
Skill per agenti
Utilizzi

Queste voci dichiarano gli stessi argomenti. Nessuna somiglianza viene dedotta: sono indicati solo gli argomenti in comune.