Star200+

技能目录

为 AI Agent 发现可复用技能。

按任务搜索真实的 GitHub 技能，并在使用前查看 Stars、信任、审计、分类和安装路径。
查找技能

每个推荐都保留与其仓库、审计和安装路径的明确关联。

搜索结果: coq

英文目录
ConCert67

A framework for smart contract verification in Coq

126
Stars
67/100
信任
分类: web3-analytics审计
Toychain60

A minimalistic blockchain consensus implemented and verified in Coq

113
Stars
60/100
信任
分类: web3-analytics审计