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.
This directory brings installable AI Agent skills into one place so you can filter by search, category, topic, and official source, then install them directly into Claude Code, Cursor, Windsurf, and other supported environments.
Draft is a skill that generates Lean code for theorem and lemma structures, enabling developers to create compilable code directly in source files.
Equine care management platform for stables - track horses, vaccinations, worm tests, treatments, and automated notifications
Technical preview of Video.js v10 - open source media player framework for Web and React.
Agent OS, with Agentic Mesh capabilities with Qorelogic governance and recursive learning protocol intended for native integration with Zo.computer
A curated list of awesome Agent Skills for automating legal work.
❶ One is a new React framework - target web and native with a single Vite plugin and fully shared code, so you can ship cross-platform nearly as easy as single-platform.
The most powerful local music generation model that outperforms most commercial alternatives, supporting Mac, AMD, Intel, and CUDA devices.
Claudeism (3.69) clau·de·ism /ˈklɔːdiːz(ə)m/ noun: computational condition of wildly variable, often inversely proportional, utility. Characterized by: Cognitive Obfuscation: The propensity to produce obscure, illogical round trip gas lighters, rather than illuminate.
The swiss army knife for Magento developers, sysadmins and devops. The tool provides a huge set of well tested command line commands which save hours of work time. All commands are extendable by a module API.
Oficial Futzo frontend, The web platform for professional football leagues management
AERA: local-first workstation for quantitative research, visualization, and backtesting.
A Claude Code skill for autonomous goal achievement through iterative learning and self-improvement