工具说明为英文。

logic-lens — 工具资料与历史

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.

活跃

官方来源 ↗

语言
Python
许可证
MIT
创建时间
最近活动
主题
  • 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

安装 /plugin marketplace add hyhmrright/logic-lens

当前测量

21GitHub 星标稳定
实测增长

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

测量历史

90 天 · 90 次测量上限
日期数值指标
21GitHub 星标
21GitHub 星标
21GitHub 星标
21GitHub 星标
21GitHub 星标
21GitHub 星标
21GitHub 星标
21GitHub 星标
21GitHub 星标
20GitHub 星标
20GitHub 星标
20GitHub 星标
19GitHub 星标
19GitHub 星标
19GitHub 星标
19GitHub 星标
19GitHub 星标
18GitHub 星标
18GitHub 星标
18GitHub 星标
18GitHub 星标
18GitHub 星标
17GitHub 星标

分类

领域
类型
智能体技能
用途

这些条目声明了相同的主题。此处不推断相似性，仅列出共同的主题。