moonbit-extract-spec-test
MoonBit Extract Spec & Test 是 moonbitlang/skills 提供的一项技能,用于从已有的 MoonBit 实现中反向提取正式 API 契约(<pkg>_spec.mbt)和完整的测试套件。它适用于将遗留代码迁移到规范驱动开发流程、为已有包生成规范驱动测试、以及为现有公开 API 编写文档与测试的场景。该技能会分析实现中的公开 API 表面(pub 与 pub(all) 类型、函数、trait、错误类型等),生成仅含声明(declare 关键字)的规范文件,并按有效与无效两类组织测试用例,最终通过 moon check 与 moon test 进行验证。