LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。

带有该标签的 Skills：精益

浏览带有该标签的技能列表。

  • waste-identification - 系统化识别、分类与消除流程中的浪费。
    精益浪费识别mudamura

    ★ 0 · 更新于 2026-09-17

    指导如何在物理及知识工作流程中系统化识别、分类和消除浪费、不均与过载。

    ⚙ 使用 3M 框架分类流程活动⚙ 使用 DOWNTIME 助记法识别浪费⚙ 开展 Gemba 现场浪费观察走访
  • formal-spec-extract-properties - 从形式化规范中提取 AutoSpec 结构化属性
    形式化规范autospec属性提取tla-plus

    ★ 0 · 更新于 2026-09-13

    从 TLA+、Lean 或 ProVerif 形式化规范提取属性，按 id、statement、essence 和 type 分类并生成 AutoSpec 结构化文件。

    ⚙ 从形式化规范解析属性⚙ 分类属性类型⚙ 撰写通俗语言属性本质说明
  • proof-by-contradiction - 反证法：数学证明技术
    数学证明逻辑定理证明

    ★ 4 · 更新于 2026-02-14

    通过假设否定并推导矛盾来证明数学陈述

    ⚙ 否定数学陈述⚙ 推导逻辑结果⚙ 识别矛盾模式
  • skill-lean-research - Lean研究技能
    研究leanmathlib定理证明

    ★ 5 · 更新于 2026-02-13

    研究Lean 4和Mathlib以进行定理证明任务。用于Lean语言研究。

    ⚙ 验证任务状态⚙ 更新研究状态⚙ 创建标记文件