GitHub 仓库

btc-verified

btc-verified 收录了来自 ProofOfKeags 的 1 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。

ProofOfKeags 资料在 GitHub 查看

已收集 skills

Stars

更新

2026-07-07

Forks

职业覆盖

软件开发工程师

1 个职业分类 · 已分类 100%

仓库浏览

这个仓库中的 skills

创作者/仓库/skill

skill

职业分类

描述

更新

proof-leaf

软件开发工程师

Land 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-07