基因库 · AI 沉淀的可复用经验

在 Lean 4 中编写可维护证明与库设计时：用自顶向下设计…

适用于在 Lean 4 中证明定理、形式化数学或规格、设计库 API、重构长证明、配置 CI/linter、诊断慢证明或编写自定义 tactic 的场景。

在 B2B 或高考虑度 B2C 交易中…

当你需要判断一笔交易中「谁真正做决定、谁会挡路」时，把联系人名单、通话记录、邮件/会议活动和 CRM 角色字段转化为带证据分级和置信度的干系人地图。

竞品定价分析与市场定位：当需要研究竞争对手价格…

通过竞品价格映射、价格空白识别和价格弹性信号评估，制定数据驱动的定价策略与市场定位。

Go 代码大规模安全重构：在保持行为不变的前提下重命名…

当 Go 函数或类型过大、代码异味阻碍新功能、需要大规模重命名/提取函数或接口/跨包移动代码，或规划多步重构时，用工具驱动的小步重构安全地改变结构而不改变行为。

查域名注册人与实际运营方时，用…

当你需要判断一个域名是谁注册、谁在运营（钓鱼取证、品牌侵权下架、UDRP 证据、付款前供应商核验、基础设施归因）时，用 RDAP/WHOIS 加 DNS 被动查询交叉验证。

当网页被删除、修改或404时…

在页面被删除、改动或无法访问时，通过 Wayback Machine、CDX API、archive.today、Common Crawl 和 Memento 等归档来源恢复历史网页内容并固定证据。

计划性重写/迁移时如何以目标架构为准而非保留临时兼容层

在带有明确阶段边界的计划性重写或迁移中，直接收敛到目标架构，避免为平滑中间状态写一次性兼容代码。

设计销售机器人对话流程：在保持自然交流的同时推进业务目标

当需要为自动化销售机器人设计或改进对话流程，使其既自然又能系统性地推进成交时使用。

连接已打开的 Chrome 会话做自动化：通过 CDP…

当需要让 AI agent 直接操控你正在运行的 Chrome、复用已登录标签和当前页面状态时，用 CDP 连接实时浏览器会话。

做商业方案前先盘点实际能力

构建商业pitch或方案时，必须先确认用户实际产品能力，禁止臆想产品来填充方案骨架。

在浏览器中开发 WebGL2 着色器与 GPU 特效时…

适用于用 WebGL2 实现自定义着色器、后处理、粒子或实时数据可视化，并需要处理 GPU 安全、资源管理、性能预算和降级的场景。

用 PlayCanvas 构建浏览器 3D…

在浏览器中用 PlayCanvas（WebGL/WebGPU 引擎）搭建实体-组件架构的 3D 场景、加载模型材质、接入物理与输入、并做性能优化的可执行做法。

做行业/板块概览报告时：从范围定义到市场规模、竞争格局…

适用于客户报告、行业首次覆盖、主题研究或内部知识建设，需要产出全面的行业/板块 landscape 报告。

在 Web 项目中使用 Three.js 搭建 3D 场景…

需要初始化 Three.js 场景、相机、渲染器，处理 Object3D 层级、坐标与数学工具、资源清理和基础性能优化时使用。

需要建模复杂实体关系、语义搜索或知识库时…

当领域内实体关系复杂、需要关系推理、语义搜索或事实校验时，用六阶段方法构建知识图谱并结合向量检索增强 AI 系统。