ln-614-docs-fact-checker
从所有.md文件中提取可验证的声明(路径、版本、计数、配置、名称、端点),针对代码库验证每个声明,并在文档之间进行交叉检查以查找矛盾之处。
把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
从所有.md文件中提取可验证的声明(路径、版本、计数、配置、名称、端点),针对代码库验证每个声明,并在文档之间进行交叉检查以查找矛盾之处。
检查过时的软件包、未使用的依赖项、重复发明的轮子、漏洞扫描(CVE/CVSS)。支持模式:完整 | 仅漏洞。
协调9名审计人员(ln-621..ln-629)并行工作。研究最佳实践,分配任务,汇总到docs/project/codebase_audit.md文件中。
检查不可达代码、未使用的导入/变量/函数、被注释掉的代码、向后兼容性垫片、已弃用的模式。返回发现结果。
端到端关键覆盖审核员。验证关键路径的端到端覆盖率(资金20+,安全20+,数据15+)。纯基于风险 - 无金字塔百分比。
审核手动测试脚本(tests/manual/)以采用harness,检查golden文件的完整性、快速失败机制、配置来源、模板合规性以及幂等性。
审计层边界+跨层一致性:I/O违规、事务边界(提交所有权)、会话所有权(依赖注入与本地)
审核环境变量配置:文件清单、代码与示例同步、默认不同步、命名、启动验证。堆栈自适应。
检查编译器/代码检查器错误、弃用警告、类型错误、测试失败、构建配置问题。返回带有严重性、位置、工作量、建议的结果。
检查引导初始化顺序、优雅关闭、资源清理、信号处理、存活/就绪探测。返回发现结果。
检查DRY(10种类型)、KISS/YAGNI、错误处理、依赖注入模式。返回带有严重性、位置、工作量和模式签名的发现结果。
审计测试文件组织:目录布局、测试与源代码映射、扁平目录增长信号、领域分组一致性、共置一致性。
检查异步竞争、线程安全、TOCTOU、死锁、阻塞I/O、资源争用、进程间竞争。两层检测:grep + 代理推理。
检查隔离性(API/数据库/文件系统/时间/随机数/网络)、确定性(不稳定、依赖顺序)以及7种反模式。
构建依赖图,检测循环(DFS),验证边界规则,计算耦合度量(Ca/Ce/I, CCD/NCCD)。自适应架构检测。
协调4名审计人员(查询效率、事务、运行时性能、资源生命周期)。分配并行审计任务,汇总到persistence_audit.md文件中。
检查结构化日志、健康检查端点、指标收集、请求跟踪、日志级别。返回带有严重性、位置、工作量和建议的发现结果。
检查圈复杂度、嵌套、长方法、上帝类、方法签名、O(n²)、N+1查询、常量管理。返回发现的问题。
检测验证框架/库行为(Prisma、Express、bcrypt、JWT、axios、React hooks)而非我们代码的测试。返回带有移除决定的结果。
计算有用性分数 = 影响(1-5)× 概率(1-5)对于每个测试。根据阈值返回保留/审查/移除决定(≥15 保留, 10-14 审查, <10 移除)。
分析单个模式的实现,计算4个分数(合规性、完整性、质量、实现),识别差距。可以通过ln-640调用或独立运行。
检查方法签名中的层泄漏、缺少的DTO、实体泄漏到API、不一致的错误契约。返回基于处罚评分的结果。
审核项目物理结构:文件卫生、忽略文件质量、框架约定合规性、领域/层组织、命名约定。通过自动检测适应技术栈。
检查异步中的阻塞IO、不必要的分配、同步睡眠、循环中的字符串连接、缺少to_thread、冗余复制。返回带有严重性和工作量的发现结果。