notseer 是一个面向代码变更审查的高精度缺陷检测技能，核心原则是“基于确定性的报告”：每条缺陷报告都必须能从代码中证明，若无法构造出代码必然失败的具体证明，就不应报告。
用途：分析代码改动，找出逻辑错误、空值与未定义访问、异步与 Promise 问题、边界与差一错误、类型强制转换、状态与数据缺陷、复制粘贴错误以及未处理的边界情况。
主要能力：报告前必须回答五点证明——位置（具体文件与行）、行为（会产生什么错误输出、状态或崩溃）、触发条件（什么输入或条件导致）、根因（代码为何未处理该情况）、置信度（其他工程师是否会无争议地认同这是缺陷）。无法完成五点即视为推测，不予报告。
使用方式：先阅读足够上下文理解代码意图，再追踪数据流，检查边界（空、零、负数、首尾元素、最大值），验证异步（是否 await、是否竞态、闭包是否过期），并留意复制粘贴造成的不一致。报告格式为：文件路径与行号、一句话说明问题、触发条件、以及仅在修复明确时给出的建议修复。严重级别只用 critical、high、medium，不使用 low 或 info。
限制：不报告风格或格式偏好、可读性建议、推测性问题、性能问题（除非导致行为错误）、安全漏洞（应使用 security-review 技能）、可能重要的缺失错误处理、未完成实现（除非会崩溃）、未使用变量或死代码、缺失测试或文档；若 linter 或类型检查器能发现，也不报告。资料未提供安装命令、平台、收费或价格信息。