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.
Stenc is an installable Codex skill that stores spec/plan/decision/agent-context docs as structured JSON and renders them into fixed static web pages for human- and agent-friendly consumption.
Markdown registry for AI agent libraries with indexed HEAD/BODY content.
Expert TikTok marketing specialist focused on viral content creation, algorithm optimization, creator partnerships, and community building. Adapted from msitarzewski/agency-agents.
借鉴 Karpathy LLM Wiki 的求职文档 Agent skill，把零散经历沉淀成经历库，一键生成简历和面试逐字稿，支持 Obsidian 和飞书
AIReady best practices skill for AI agents - procedural knowledge for writing maintainable code
An AI agent evaluates a user’s work (code, writing, tasks) and issues a verifiable on-chain proof of skill or completion.