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.
Manage Google Apps Script projects.
Use when deploying or managing Kubernetes workloads. Invoke to create deployment manifests, configure pod security policies, set up service accounts, define network isolation rules, debug pod crashes, analyze resource limits, inspect container logs, or right-size workloads. Use for Helm charts, RBAC policies, NetworkPolicies, storage configuration, performance optimization, GitOps pipelines, and multi-cluster management.
codex skills
Run Claude Code on your desktop. Access the CLI tool locally using Ollama or your own API key in this open source application for Windows.
>
CLI tool for configuring and monitoring Claude Code