logic-lens — tool profile and history

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.

Active

Canonical source ↗

Language
Python
License
MIT
Created
Last activity
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

Install /plugin marketplace add hyhmrright/logic-lens

Current measurement

21GitHub starsstable
measured growth

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

Reading history

90 days · 90 maximum readings
DateValueMetric
21GitHub stars
21GitHub stars
21GitHub stars
21GitHub stars
21GitHub stars
21GitHub stars
21GitHub stars
21GitHub stars
21GitHub stars
20GitHub stars
20GitHub stars
20GitHub stars
19GitHub stars
19GitHub stars
19GitHub stars
19GitHub stars
19GitHub stars
18GitHub stars
18GitHub stars
18GitHub stars
18GitHub stars
18GitHub stars
17GitHub stars

Classifications

Domains
Type
Agent skills
Use cases

These entries declare the same topics. No similarity is inferred: only the shared topics are stated.