jcreinhold/lean-rs-skills
Generic Rust + Lean 4 craft skills (Claude Code plugin): deep-module design, performance, testing, technical writing, macros.
Generic Rust + Lean 4 craft skills (Claude Code plugin): deep-module design, performance, testing, technical writing, macros.
npx skills add jcreinhold/lean-rs-skillsGeneric Rust + Lean 4 craft skills (Claude Code plugin): deep-module design, performance, testing, technical writing, macros.
Make AI coding agents write RAPIDS-first GPU Python.
🐾 Caracal is a security-first AI authority, delegation, and identity system for autonomous agents.
Convert raw content into an interlinked Obsidian wiki using this Kotlin MCP server and Claude Code. Build a knowledge base without RAG indexing.
Skills for Syncfusion WPF controls. Enable AI-assisted development with comprehensive documentation, code examples, and best practices for 100+ UI controls including DataGrid, Charts, Scheduler, and more.
Cursor agent skills (Markdown SKILL.md collection)
Family Health Doctor — AI Medical Assistant Skill / 家庭保健医生 · AI医疗助手 / ファミリーヘルスドクター · AI医療アシスタント