메뉴
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…
원문 언어: 영어