"MOVA: skill_ingest_store_episode_basic (wrapper)"
在实验室的基因文件存储中持久化ds.episode_skill_ingest_run_v1。
把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
在实验室的基因文件存储中持久化ds.episode_skill_ingest_run_v1。
协调仓库快照、门控运行以及可选的工作流周期操作,以执行单个工作站的任务。
用于运行包含证据路径和零交互分支的一键流程(闸门 -> 质量 -> 完成分支 -> 集存储)
从比较工件(确定性复制,重放检查)中组装一个规范的wf_cycle winner_pack。
用于创建新的包/工作流,添加域/工作者,或使用与站点兼容的脚本添加质量/否定套件。
移动史密斯模糊测试技能
访问Claude MPM功能并管理多代理编排
完整的断路器实施模式,包括示例和补救措施
根据文件系统快照生成基本的清理计划(保留/删除/归档/询问);不进行文件系统更改。输入:env.file_cleanup_plan_request_v1,输出:ds.file_cleanup_plan_v1。
协调仓库快照、门控运行以及可选的工作流周期操作,以执行单个站点任务。
确定性地比较wf_cycle运行作为不变性证明步骤:计算指标,对双重运行进行评分,并为结果核心输出编写规范的比较工件。
通过一次性确定性运行,使用A/B/C模板引导一个wf_cycle实验框架(包括规则、输入、尝试)。
移动或重命名文件时自动更新源代码和文档中的所有引用
精通在Aptos上测试Move智能合约,包括单元测试、集成测试、Move Prover形式化验证、调试策略和测试覆盖率。触发关键词:move test, unit test, integration test, move prover, formal verification, debug, coverage, assert, expect
管理Claude MPM配置
PM和代理提交GitHub问题的错误报告协议
将ds.episode_skill_ingest_run_v1持久化到实验室的基因文件存储中。
确定性地比较wf_cycle运行作为不变性证明步骤:计算指标,对双重运行进行评分,并为结果核心输出编写规范的比较工件。
通过一次性确定性运行,使用A/B/C模板启动一个wf_cycle实验框架(规则、输入、尝试)。
从比较工件(确定性复制,回放检查)中组装一个标准的wf_cycle winner_pack。
在.tex文件内或跨文件移动、重新排序或重新定位beamer幻灯片/帧。当被要求移动幻灯片、重新排序演示文稿或将帧移至备份时使用此功能。
Move Prover形式化验证专家,负责Aptos智能合约。编写规范(MSL)、前置条件(requires)、后置条件(ensures)、不变量、中止条件(aborts_if)、量化器、模式和指令。调试验证失败。触发关键词包括Move Prover、形式化验证、规范、不变量、ensures、requires、aborts_if、前置条件、后置条件。
对Claude MPM安装运行诊断检查
分支保护和PR创建工作流程