返回 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日

+1 (+4.2 %)自 2026年10月15日 起

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 星标
精确数值 · 8 次测量
测量时间星标变化
250
250
250
250
25+1
240
240
24·