ツールの説明は英語です。
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.
測定履歴
| 日付 | 値 | 指標 |
|---|---|---|
| 21 | GitHubスター | |
| 21 | GitHubスター | |
| 21 | GitHubスター | |
| 21 | GitHubスター | |
| 21 | GitHubスター | |
| 21 | GitHubスター | |
| 21 | GitHubスター | |
| 21 | GitHubスター | |
| 20 | GitHubスター | |
| 20 | GitHubスター | |
| 20 | GitHubスター | |
| 19 | GitHubスター | |
| 19 | GitHubスター | |
| 19 | GitHubスター | |
| 19 | GitHubスター | |
| 19 | GitHubスター | |
| 18 | GitHubスター | |
| 18 | GitHubスター | |
| 18 | GitHubスター | |
| 18 | GitHubスター | |
| 18 | GitHubスター | |
| 17 | GitHubスター |
分類
- 分野
- 種類
- エージェントスキル
- 用途
近いツール
これらは同じトピックを宣言しています。類似性は推定していません。共通するトピックのみを示します。