CodeAlive-AI/ai-driven-development
Practices, protocols, and skills for AI-driven software development. Skills and safety hooks for Claude Code, Codex, OpenCode, Cursor, Antigravity, and any agent supporting the Agent Skills standard.
Practices, protocols, and skills for AI-driven software development. Skills and safety hooks for Claude Code, Codex, OpenCode, Cursor, Antigravity, and any agent supporting the Agent Skills standard.
npx skills add CodeAlive-AI/ai-driven-developmentPractices, protocols, and skills for AI-driven software development. Skills and safety hooks for Claude Code, Codex, OpenCode, Cursor, Antigravity, and any agent supporting the Agent Skills standard.
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
Agent skill repository for pegj44/claude-skills.
会记忆、能成长的随身 AI 助手 · 桌面 / 云端 / IM 随叫随到，手机远程也能连 | Personal AI that remembers and grows — lives on desktop, self-hosted server and every IM, reachable anywhere
hllrm/g-team agent skill repository
Report-only pre-merge policy gate as a Claude Code skill — checks a diff against versioned rulesets and returns a PASS/WARN/FAIL verdict. Never edits code.
🤖 Automate trading on Polymarket with AI agents to enhance your strategies and maximize your opportunities.