#001btc-verified1 skills174atualizado 2026-07-07100% do criadorskillocupaçãodescriçãoatualizadoproof-leafDesenvolvedores de softwareLand 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-07Mostrando as 1 principais de 1 skills coletadas neste repositório.Carregar mais 0 skillsCarregando skills...