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.
AgentSkills library: reusable skills for AI coding agents (AI SDK, Codex, LangGraph, Supabase, Docker, Vitest, pytest, Streamlit, Zod).
Claude Code skill: general-purpose GitHub PR review workflow via gh CLI — multiple review styles, optional PR comment posting
Claude Code skill that keeps documentation and code in sync — auto-detects project type, enforces docs-first workflow, and audits coverage on every task.
Claude Code plugin marketplace: 145 framework-aware code-review skills plus AI-writing detection, doc and test-plan generation, architectural analysis, and git workflows — for Python, Go, Rust, Elixir, React, Remix, iOS/Swift, and AI frameworks. Installable for Codex and other agents too.
Awesome Claude Skills Chinese Translation - A curated list of practical Claude Skills to boost productivity with Claude.ai, Claude Code & Claude API. 精选的实用 Claude Skills 列表，助力 Claude.ai、Claude Code 和 Claude API 提升生产力。
Enhance VS Code with ClawdContext, providing Markdown-based context management for efficient AI coding agent workflows.