メニュー
SkillsMP は skydiscover-ai/skydiscover から 2 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
収集済み skill 2 件中 2 件を表示しています。
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…
原文の言語: 英語
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…
原文の言語: 英語