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 skills add QEDGen/solana-skillsFormally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
Create a tldr page from documentation URLs and command examples, requiring both URL and command name.
Batch convert documents between multiple formats using a unified pipeline
Make Codex sound like Claude Code: concise, truthful, tool-disciplined.
INVOKE THIS SKILL when building ANY retrieval-augmented generation (RAG) system. Covers document loaders, RecursiveCharacterTextSplitter, embeddings (OpenAI), and vector stores (Chroma, FAISS, Pinecone).
Vue Router 4 patterns, navigation guards, route params, and route-component lifecycle interactions.
Working Related Claude Skills