skysynth
Build a system specialized for your workload from a prompt or a formal spec: study reference systems, settle the requirements with the user, then build it behind tests (or a machine-checked proof) while an auditor turns every reward hack it finds into a new test. Trigger on requests to build, synthesize, or specialize a system (e.g. "skysynth build me a key-value store", or a path to a task.md spec).
来源信息
- 仓库
- skydiscover-ai/skydiscover
- 最近来源活动
- 2026年9月11日 17:34
- 检测到的 SKILL.md 语言
- 英语
- 星标
- 669
- 分支
- 96
安装方式
默认使用会先检查来源的 Prompt;你也可以切换为直接命令,或下载本地副本。
检查来源文件
决定是否安装前,请先阅读 SKILL.md,以及 SkillsMP 当前展示的配套文件。
正在显示 SKILL.md
- name
- skysynth
- description
- Build a system specialized for your workload from a prompt or a formal spec: study reference systems, settle the requirements with the user, then build it behind tests (or a machine-checked proof) while an auditor turns every reward hack it finds into a new test. Trigger on requests to build, synthesize, or specialize a system (e.g. "skysynth build me a key-value store", or a path to a task.md spec).