安装与下载
1 ClawHub CLI
从源直接安装技能的最快方式。
npx clawhub@latest install lean-proof-to-code-translator-c-rust-wasm
2 手动安装
将技能文件夹复制到以下位置之一
全局模式
~/.openclaw/skills/
工作区
{'/skills/'}
优先级：工作区 › 全局 › 内置
3 提示词安装
将此提示词复制到 Openclaw 即可自动安装。
请帮我使用 Clawhub 安装 skill-lean-proof-to-code-translator-c-rust-wasm。如果尚未安装 Clawhub，请先安装（npm i -g clawhub）。
更倾向于下载?
获取包含原生技能文件的ZIP压缩包。
基本信息
名称
Lean Proof To Code Translator - C Rust Wasm
Slug
lean-proof-to-code-translator-c-rust-wasm
创建者
agentpmt
创建时间
2026-06-10 07:55:10
更新时间
2026-08-23 18:37:05
收藏数
0
使用量
397
浏览量
15
概述
将可导出的 Lean 证明程序转换为带有内置验证和核实包的可审计 C, Rust 或 WebAssembly 交付物。