Skills に戻る

logic-lens

スキルGitHub活動中Python

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.

説明の出典: 元のソース

測定日: 2026/10/22 · 71 観測

分野 & 用途

分野
エージェント・スキル・MCP
用途
エージェントスキル

インストール

/plugin marketplace add hyhmrright/logic-lens

情報源で確認

互換性と前提条件は公式ドキュメントで確認してください。

https://github.com/hyhmrright/logic-lens

分類

種別
ツール

測定履歴

比較可能な測定値をシグナルと単位ごとにまとめています。

スター

25スター · 2026/10/22

+8 (+47.1 %)2026/08/10 から

2026/08/10 : 17 スター2026/08/11 : 18 スター2026/08/12 : 18 スター2026/08/13 : 18 スター2026/08/14 : 18 スター2026/08/15 : 18 スター2026/08/16 : 19 スター2026/08/17 : 19 スター2026/08/18 : 19 スター2026/08/19 : 19 スター2026/08/20 : 19 スター2026/08/21 : 20 スター2026/08/22 : 20 スター2026/08/23 : 20 スター2026/08/24 : 21 スター2026/08/25 : 21 スター2026/08/26 : 21 スター2026/08/27 : 21 スター2026/08/28 : 21 スター2026/08/29 : 21 スター2026/08/30 : 21 スター2026/08/31 : 21 スター2026/09/02 : 21 スター2026/09/04 : 22 スター2026/09/05 : 22 スター2026/09/06 : 22 スター2026/09/07 : 22 スター2026/09/08 : 22 スター2026/09/09 : 22 スター2026/09/10 : 22 スター2026/09/11 : 22 スター2026/09/12 : 22 スター2026/09/13 : 22 スター2026/09/14 : 22 スター2026/09/15 : 22 スター2026/09/16 : 23 スター2026/09/17 : 23 スター2026/09/18 : 23 スター2026/09/19 : 23 スター2026/09/20 : 23 スター2026/09/22 : 25 スター2026/09/23 : 25 スター2026/09/24 : 25 スター2026/09/25 : 25 スター2026/09/26 : 25 スター2026/09/27 : 25 スター2026/09/28 : 25 スター2026/09/29 : 25 スター2026/09/30 : 24 スター2026/10/01 : 24 スター2026/10/02 : 24 スター2026/10/03 : 24 スター2026/10/04 : 24 スター2026/10/05 : 24 スター2026/10/06 : 24 スター2026/10/07 : 24 スター2026/10/08 : 24 スター2026/10/09 : 24 スター2026/10/10 : 24 スター2026/10/11 : 24 スター2026/10/12 : 24 スター2026/10/13 : 24 スター2026/10/14 : 24 スター2026/10/15 : 24 スター2026/10/16 : 24 スター2026/10/17 : 24 スター2026/10/18 : 25 スター2026/10/19 : 25 スター2026/10/20 : 25 スター2026/10/21 : 25 スター2026/10/22 : 25 スター
正確な値 · 71 件の測定
測定日スター変化
250
250
250
250
25+1
240
240
240
240
240
240
240
240
240
240
240
240
240
240
240
240
240
24-1
250
250
250
250
250
250
250
25+2
230
230
230
230
23+1
220
220
220
220
220
220
220
220
220
220
220
22+1
210
210
210
210
210
210
210
210
21+1
200
200
20+1
190
190
190
190
19+1
180
180
180
180
18+1
17·