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 の言語
- 英語
- スター
- 683
- フォーク
- 98
インストール方法
デフォルトでは、最初にソースを確認する 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).