#001btc-verified1 skills174mis à jour 2026-07-07100% du créateurskillmétierdescriptionmis à jourproof-leafDéveloppeurs de logicielsLand a new proof leaf in btc-verified — module layout, codec discipline, axiom audit registration, golden vectors, and the README section format. Use when adding a new module, a new Codec instance, or new headline theorems, or when asked to "add a leaf", "wire up a new module", or "finish landing" verification work.2026-07-07Affichage des 1 principaux skills collectés sur 1 dans ce dépôt.Charger 0 skills de plusChargement des skills...