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.
Docs skill for AI to use when referencing OpenClaw, so it's using the latest docs flattened into one file for easy accses.
Design-aware resume rewriting and A4 HTML/PDF generation skill
For developers who need offline access or prefer the Agent Skills format, LianLian Global provides an Integration Skill that works without network connectivity. The Integration Skill bundles API documentation, code templates, and a local search engine into a single package that AI coding agents can use to generate integration code.
Clarify brand messaging using narrative structure that positions the customer as hero. Use when the user mentions "brand message", "website copy", "elevator pitch", "one-liner", "messaging isnt resonating", "brand script", "StoryBrand framework", or "customer as hero". Also trigger when rewriting homepage copy, crafting email nurture sequences, or creating consistent messaging across sales collateral and marketing materials. Covers landing page copy, marketing collateral, and consistent communication. For memorable messaging, see made-to-stick. For product positioning, see obviously-awesome.
Connect AI agents to hosted web search, research, and content extraction across 105 engines with MCP
Manage and optimize OpenClaw workspace markdown files to maintain agent identity, memory, and operational clarity across AI channels.