phuryn/identify-assumptions-existing
识别现有代码库中的隐含假设，提升代码健壮性。
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：phuryn/identify-assumptions-existing。 它的用途是：识别现有代码库中的隐含假设，提升代码健壮性。 详细介绍见：https://321skill.com/skills/phuryn-identify-assumptions-existing/ 请根据该页面的说明完成安装。
使用示例
“请帮我分析下面这段处理用户上传文件的函数，找出其中可能存在的隐含假设。”，它会逐行审查代码，指出例如“假设文件始终存在且可读”、“假设文件后缀名与内容类型匹配”、“假设存储路径权限已配置”等潜在问题，并建议增加校验或错误处理。
介绍
该Skill旨在帮助开发者识别和分析现有代码库中可能存在的隐含假设，例如对特定环境变量、输入格式、依赖版本或系统状态的假设。这些假设往往是代码在特定场景下正常运行的前提，但若未明确声明或处理，可能导致程序在环境变化或异常输入时行为异常甚至崩溃。
使用时，开发者可以将代码片段、项目文件或相关上下文提供给AI。AI会分析代码逻辑，指出其中可能存在的隐含假设，并解释这些假设可能带来的风险。这有助于开发者在代码审查或重构阶段提前发现问题。
该Skill特别适合负责维护、重构或审查现有代码库的开发者，尤其是那些接手遗留系统或需要确保代码在不同环境下稳定运行的工程师。通过系统性地识别假设，可以降低因环境差异导致的线上故障风险。
建议在代码审查、技术债务梳理或准备进行重大重构（如迁移环境、升级依赖）时使用此Skill。它不能替代完整的测试和静态分析，但能提供有价值的补充视角，帮助开发者思考代码的边界条件。
核心特点
与一般的代码审查或静态分析工具不同，此Skill专注于挖掘代码中未明确声明的“隐含”逻辑前提，而非语法错误或风格问题。它通过语义分析，帮助开发者理解代码行为背后的潜在依赖和条件，这是传统工具难以覆盖的。
注意事项
该Skill主要基于提供的代码片段进行分析，对于高度分散或依赖运行时动态行为的复杂系统，其识别可能不够全面。
常见问题
这个Skill能识别哪些类型的隐含假设？
能识别如对特定文件路径、环境变量、API响应格式、第三方服务可用性、输入数据范围、并发安全、特定库版本等未明确处理的假设。
它和Linter或静态分析工具有什么区别？
Linter检查代码风格和明显错误；静态分析检查代码质量和潜在漏洞；此Skill则专注于挖掘代码逻辑中未声明的、可能导致环境依赖或行为不确定的前提条件。