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.
EcoCover is a non-commercial, just-for-fun Codex skill that turns serious articles into sharp Economist-inspired cover concepts: visual metaphors, political collage, symbolic minimalism, and image-generation prompts with editorial bite. It creates pure cover-image ideas only
Awesome Skills from Around the World
AI agent skill: expert tutor for A Streetcar Named Desire (Edexcel IAL English Literature). Complete quote bank, exam spec, annotated model essay, and repeatable essay-writing workflow.
Active mentor mode for Claude Code — teaches through Socratic guidance, never writes code for you. Configurable teaching modes, 19 humor styles, strict accountability mode, multi-language onboarding, and patrol-based code monitoring.
Generate structured work reports from your git commit history. Analyzes commits and diffs by author to produce career-ready summaries — resumes, performance reviews, LinkedIn posts — organized by 6-month periods. Supports multi-repo, Simple Mode (log-only), and incremental updates.
Agentic AI for writing code