ConCert67
A framework for smart contract verification in Coq
126
Stars
67/100
Trust
Kategorie: web3-analyticsAudit
Skill-Verzeichnis
Wiederverwendbare Skills für AI Agents entdecken.
Durchsuche reale GitHub-Skills nach Aufgabe und prüfe Stars, Trust, Audit, Kategorie und Installationspfad vor der Verwendung.
Jede Empfehlung bleibt mit ihrem Repository, Audit und Installationspfad nachvollziehbar.