matthewmcneill/agent-skills
My agent skills repo
My agent skills repo
npx skills add matthewmcneill/agent-skillsMy agent skills repo
Unified Codex skill for prompt framing, question coaching, user style profiles, and skill routing
OpenClaw skill for xProof - proof-of-output verification for AI agents on MultiversX.
Mixed Claude skill pack for agent worktrees, Go development, git formatting, and Gemini CLI workflows.
Recently updated agent-skill-related GitHub repository: nex-crm/nex-as-a-skill.
Command-line interface for Twist
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.