QEDGen/solana-skills
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
npx add-skill QEDGen/solana-skillsFormally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
专门为codex准备的skill仓库
Claude Code skill for creating and editing Layerz financial models from the terminal
MUST be used for Vue.js tasks. Strongly recommends Composition API with `<script setup>` and TypeScript as the standard approach. Covers Vue 3, SSR, Volar, vue-tsc. Load for any Vue, .vue files, Vue Router, Pinia, or Vite with Vue work. ALWAYS use Composition API unless the project explicitly requires Options API.
Recently updated agent/AI repository: hiantonnazarov/codex-python-skills
Bring AI Comic Director to your OpenClaw
Transform public expressions and interpersonal insights into a standardized modular skill set for cross-platform application.