ConCert67
A framework for smart contract verification in Coq
126
Stars
67/100
Kepercayaan
Kategori: web3-analyticsAudit
Direktori skill
Temukan skill yang dapat digunakan kembali untuk AI agents.
Cari skill GitHub nyata berdasarkan tugas lalu periksa stars, trust, audit, kategori, dan jalur pemasangan sebelum digunakan.
Setiap rekomendasi tetap terhubung dengan repositori, audit, dan jalur pemasangannya.