在 Manus 中运行任何 Skill
一键导入
一键导入
一键在 Manus 中运行任何 Skill
开始使用已收集 skills
2
Stars
4
更新
2026-07-14
Forks
0
职业覆盖
1 个职业分类 · 已分类 100%
仓库浏览
这个仓库中的 skills
创作者/仓库/skill
skill
职业分类
描述
更新
doe-debug
软件开发工程师
Diagnose and fix Doe ingestion, lowering, HostPlan, Zig backend, native addon, npm package, browser, trace, proof, and Dawn-comparison failures. Use when source identity, output parity, backend selection, timing evidence, or claim status is wrong.
2026-07-14
doe-development
软件开发工程师
Implement and validate Doe source-preserving compiler, native runtime, npm package, proof, trace, benchmark, and Chromium/Fawn work. Use for Zig, JavaScript, Python, Lean, config, backend, package, browser, or evidence changes in Doe.
2026-07-14