案例技能关于

ClawIndex

OpenClaw Skills 与 Use Case 索引

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

索引

Meta

© 2026 ClawIndex 保留所有权利。

产出该输出的 Skills：一致性报告

浏览产出该输出的技能列表。

lean-formal-feedback-loop - Lean-Rust 形式化证明反馈循环
形式化验证定理证明运行时 bug 检测 Rust 安全
★ 22 · 更新于 2026-05-28
运行 Lean-Rust 证明反馈循环以发现运行时 bug 并关闭形式化保证差距。
⚙ 从覆盖率加载 frog 候选 ⚙ 验证 cass 索引状态 ⚙ 构建 Lean 基线
task-planning - AI代理任务规划技能
任务规划测试驱动开发文档管理任务分解
★ 602 · 更新于 2026-05-11
创建和编辑任务文档，将设计文档分解为AI代理可执行的具体任务。
⚙ 创建任务文档 ⚙ 编辑任务文档 ⚙ 分解任务
worldbuilding-lore-systems - 设计结构化游戏世界背景数据系统
世界观构建游戏背景叙事派系
★ 0 · 更新于 2026-03-23
设计并维护世界观构建数据系统，包括背景数据库、叙事图结构、百科系统、派系矩阵和时间线追踪，支持引擎集成。
⚙ 设计背景数据库 ⚙ 构建叙事图结构 ⚙ 实现百科系统
项目多级索引系统 - 多级项目索引管理系统
索引依赖分析代码导航文档
★ 92 · 更新于 2026-03-23
维护分形自指文档系统，提供索引和依赖分析功能
⚙ 初始化索引 ⚙ 更新索引 ⚙ 检查一致性
create-spec - 通过访谈创建规格并文档化到 Notion
规格管理文档化用户访谈 Notion
★ 13 · 更新于 2026-03-22
通过用户访谈定义功能规格并保存到 Notion
⚙ 读取项目文档 ⚙ 向用户提问 ⚙ 验证一致性
units - 工程单位跟踪与计算
工程计算单位转换代码分析审计跟踪
★ 17 · 更新于 2026-03-09
提供单位安全的工程计算，包含来源跟踪、维度一致性验证和跨系统单位转换
⚙ 分析Python文件 ⚙ 生成计算审计日志 ⚙ 验证维度一致性