案例技能关于

ClawIndex

OpenClaw Skills 与 Use Case 索引

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

索引

Meta

© 2026 ClawIndex 保留所有权利。

具备该能力的 Skills：验证合约

浏览具备该能力的技能列表。

monad-development - 在Monad区块链上构建去中心化应用
区块链 web3 智能合约部署
★ 0 · 更新于 2026-05-09
使用Foundry在Monad测试网或主网上部署智能合约、设置前端并验证合约
⚙ 部署合约 ⚙ 创建钱包 ⚙ 验证合约
monad-development - 在 Monad 区块链上构建 dapps
区块链智能合约部署 dapp
★ 1 · 更新于 2026-05-09
在 Monad 区块链上部署合约、搭建前端并验证合约
⚙ 部署合约 ⚙ 验证合约 ⚙ 生成钱包
monad-development - 在Monad区块链上构建去中心化应用
区块链智能合约 Web3 去中心化应用开发
★ 0 · 更新于 2026-05-09
在Monad区块链上部署合约、配置前端并验证合约
⚙ 部署合约 ⚙ 创建钱包 ⚙ 资助钱包
monad-development - Monad 区块链 DApp 开发
区块链 monad 智能合约部署
★ 76 · 更新于 2026-05-09
在 Monad 区块链上构建和部署 DApp，支持合约验证
⚙ 部署合约 ⚙ 验证合约 ⚙ 配置前端
monad-development - 在 Monad 区块链上构建 dApps
区块链智能合约 web3 dapp
★ 1 · 更新于 2026-03-22
使用 Foundry 框架在 Monad 区块链上部署智能合约并构建 dApps
⚙ 部署合约 ⚙ 验证合约 ⚙ 创建钱包
Contract Testing Pact - 使用 Pact 验证 API 契约
api 后端测试契约
★ 57 · 更新于 2026-03-21
验证服务消费者与提供者之间的请求/响应期望
⚙ 创建消费者测试 ⚙ 应用灵活匹配器 ⚙ 实现状态处理器
kani-verifier - 使用Kani进行Rust形式化验证
rust 形式化验证模型检查符号执行
★ 18 · 更新于 2026-03-20
使用符号执行验证Rust代码所有可能输入的模型检查器。
⚙ 验证Rust代码 ⚙ 检查内存安全 ⚙ 检测未定义行为