LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

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

索引

Skills·
Cases

Meta

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

带有该标签的 Skills：形式化验证

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

  • lean4-proof - 在 Lean 4 中完成序列与收敛性的数学证明。
    lean4定理证明数学序列

    ★ 13 · 更新于 2026-09-14

    完成 Lean 4 中序列与收敛性的数学证明，并确保类型检查无警告通过。

    ⚙ 完成 Lean 4 数学证明⚙ 证明序列与级数性质⚙ 使用 Lean 工具链验证证明
  • numina-lean-agent - Lean 4 定理证明工具包
    lean4定理证明形式化验证

    ★ 279 · 更新于 2026-09-09

    Lean 4 定理证明工具包，用于搜索引理、验证证明、修复代码及生成非形式化证明。

    ⚙ 搜索引理⚙ 验证证明⚙ 反驳命题
  • cmodel - 形式化Alloy模型生成
    形式化验证alloy建模安全分析模型检查

    ★ 66 · 更新于 2026-05-28

    为安全相关行为生成Alloy形式化模型并运行Alloy分析器

    ⚙ 识别可建模范围⚙ 生成Alloy模型⚙ 运行Alloy分析器