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 add-skill jcreinhold/lean-rs-skillsGeneric Rust + Lean 4 craft skills (Claude Code plugin): deep-module design, performance, testing, technical writing, macros.
Shopline Online Store 3.0 theme dev rules, CLI command reference, and Sline editing conventions. Drop into ~/.claude/skills/ to use as Claude Code skill.
🧬 Stop writing bad CLAUDE.md files. A Claude Code skill that generates production-grade CLAUDE.md configurations with verified commands, real architecture, and safety guardrails.
Claude Code skill for rigorous academic paper writing, revision, and submission. Field-agnostic with per-paper journal overrides.
An opinionated library of reusable agent skills. Contains practical skills for writing, planning, triage, architecture, and workspace workflows
Deliver comprehensive SEO automation with 24 AI-powered skills covering audits, technical SEO, content, links, local SEO, and keyword research.
Literate-programming doctrine — rules, skills, hooks, and templates — packaged as a Claude Code plugin and as a CLAUDE.md-importable aggregator.