Menu
SkillsMP a collecté 2 skills depuis skydiscover-ai/skydiscover. Ouvrez un skill pour examiner sa source et ses détails.
Affichage de 2 skills collectés sur 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…
Langue du texte source : anglais
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…
Langue du texte source : anglais