Community研究与数据分析github.com

freyesperales/dev-experiment-031

waterline - 离线、免LLM、零依赖的差分可达性分析器,用于Agent技能包:计算四种解析器模型下的可达闭包,并报告扫描器视角与代理视角之间的差异(审计-运行时差距与引用清洗)。

dev-experiment-031 是什么?

waterline 是一个专为 Agent 技能包设计的离线差分可达性分析工具。它不依赖任何大语言模型(LLM)或外部依赖,能够独立运行。该工具的核心功能是计算在四种不同的解析器模型下技能包的“可达闭包”(即所有可访问的实体集合),然后自动比较并报告扫描器(静态分析视角)与代理(实际运行时视角)之间的差异,从而揭示“审计-运行时差距”以及潜在的“引用清洗”问题。这对于开发者验证 Agent 技能的安全性、发现隐蔽的依赖或权限外流路径非常有用。它支持多种 Agent 平台(如 Claude Code、Cursor、Codex 等)的技能包分析,并提供了一个清晰的差异报告,包括偏离的实体及其来源路径。

兼容平台~Claude Code~Codex CLI~Cursor
npx skills add freyesperales/dev-experiment-031

Installed? Explore more 研究与数据分析 skills: affaan-m/uspto-database, affaan-m/scholar-evaluation, affaan-m/literature-review · View all 6 →

在你喜欢的 AI 中提问

打开一个已预加载此 Agent Skill 的新对话。

文档

dev-experiment-031 是做什么的?

waterline - 离线、免LLM、零依赖的差分可达性分析器,用于Agent技能包:计算四种解析器模型下的可达闭包,并报告扫描器视角与代理视角之间的差异(审计-运行时差距与引用清洗)。

相关技能