The skills catalog organizes agent skills into groups. Each group is a directory containing one or more skills (each with a SKILL.md and manifest.yaml). matlab-create-live-script Create plain-text ...
LLVM powers the core development tools, operating systems, and most applications at Apple Computer, where it long ago ...
Mistral AI has released Leanstral 1.5 as a free Apache-2.0 model for Lean 4 verification. Lean 4 is a proof-assistant and programming environment for machine-checkable proofs, and proof engineering ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results