#001btc-verified1 skills174updated 2026-07-07100% of creatorskilloccupationdescriptionupdatedproof-leafsoftware-developersLand 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-07Showing top 1 of 1 collected skills in this repository.Load 0 more skillsLoading skills...