draft
Draft is a skill that generates Lean code for theorem and lemma structures, enabling developers to create compilable code directly in source files.
Browse and install thousands of AI Agent skills in the Killer-Skills directory. Supports Claude Code, Windsurf, Cursor, and more.
Draft is a skill that generates Lean code for theorem and lemma structures, enabling developers to create compilable code directly in source files.
Triage is an experimental RuboCop rewrite in Rust that runs a script to find and fix top cops by divergence in Ruby code.
🤖 Team onboarding kit for Claude Code AI coding assistant. Pre-configured with agents, skills, slash commands, and MCP integrations for Java 21/Spring Boot WebFlux, Angular, Flutter, PostgreSQL, and Firebase. Clone → install → start building.
shadcn is a UI component framework that allows developers to add components as source code to their projects via the CLI using commands like npx shadcn@latest
AI Co-Writing System with Claude Skills - A complete Claude Code writing system for content creators based on context engineering principles. Inspired by Alex McFarland's Claude Code Masterclass.
sd-review is a code analysis skill that combines defect review and refactoring analysis for comprehensive code evaluation
programming-ruby is a skill that enables the generation of Ruby code that adheres to the language's principles and idioms, prioritizing readability and pragmatism.
update is a DevOps layer for coding agents that enables automated deployment of validated code and skill updates.
Deploy is a skill that automates code deployment from a local directory to Railway using the `railway up` command.
review-preflight is a canonical execution contract for running automated code reviews with Codex CLI, ensuring a consistent and efficient review process.
fix-bug is a skill that enables developers to identify and fix the root causes of bugs, rather than just treating the symptoms, using techniques like regression testing.
solid-ruby is a Ruby-oriented skill emphasizing professional software engineering principles, including SOLID, TDD, and clean code, with examples in Ruby and RSpec.