验证智能合约 的 AI Skill
共 15 个，按热度排序。把验证智能合约这件事交给 AI 来做。
witness-protocol
一个用于构建可验证、抗审查应用的协议实现工具。
Settlement Witness
本地验证SAR v0.1结算收据的加密签名。
Settlement Witness
本地验证SAR v0.1结算收据的加密签名有效性。
Settlement Witness
本地验证SAR v0.1结算收据的加密签名。
Settlement Witness
本地验证SAR v0.1结算收据的加密签名。
Settlement Witness
本地验证SAR v0.1结算收据的加密签名有效性
subgraph-registry-mcp
按自然语言目标发现和筛选The Graph子图，并提供付费查询服务。
subgraph-registry-mcp
通过自然语言发现和筛选The Graph子图，并获取付费查询链接。
Clicks Protocol
在Base链上检查和模拟AI Agent的Clicks Protocol结算路由。
Clicks Protocol
Base链上Clicks协议结算路由模拟与审计
ChainaAware Behavioral Prediction
链上行为预测与欺诈风险检测工具
solana-development
Solana 智能合约开发与部署工具
MCP逻辑求解器服务器
结合大模型与定理证明的MCP推理工具
Dafny Verifier
集成于MCP的Dafny代码验证工具
openzeppelin-skills
利用OpenZeppelin库进行安全的智能合约开发