logic-lens — fiche et historique

Relecture de code IA basée sur la logique par traçage d'exécution semi-formel détectant les bugs comportementaux, les violations de contrats de type et les risques asynchrones.

Actif

Reformulée en français

Source canonique ↗

Langage
Python
Licence
MIT
Création
Dernière activité
Topics
  • 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

Installer /plugin marketplace add hyhmrright/logic-lens

Mesure actuelle

21étoiles GitHubstable
progression mesurée

Le momentum utilise les relevés disponibles des 7 derniers jours : mesuré avec au moins deux relevés comparables, estimé sinon.

Historique des relevés

90 jours · 90 relevés maximum
DateValeurMétrique
21étoiles GitHub
21étoiles GitHub
21étoiles GitHub
21étoiles GitHub
21étoiles GitHub
21étoiles GitHub
21étoiles GitHub
21étoiles GitHub
21étoiles GitHub
20étoiles GitHub
20étoiles GitHub
20étoiles GitHub
19étoiles GitHub
19étoiles GitHub
19étoiles GitHub
19étoiles GitHub
19étoiles GitHub
18étoiles GitHub
18étoiles GitHub
18étoiles GitHub
18étoiles GitHub
18étoiles GitHub
17étoiles GitHub

Classements

Domaines
Type
Skills pour agents
Usages

Ces entrées déclarent les mêmes sujets. Aucune similarité n’est déduite : seuls les sujets communs sont indiqués.