What does lean-rs-skills do?
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.
lean-rs-skills is a Claude Code agent skill that generic Rust + Lean 4 craft skills (Claude Code plugin): deep-module design, performance, testing, technical writing, macros.
npx skills add jcreinhold/lean-rs-skillsInstalled? Explore more Writing & Editing skills: steipete/notion, langchain-ai/langchain, bytedance/podcast-generation · View all 6 →
Generic Rust + Lean 4 craft skills (Claude Code plugin): deep-module design, performance, testing, technical writing, macros.
Notion CLI/API for pages, Markdown content, data sources, files, comments, search, Workers, and raw API calls.
The agent engineering platform.
Use this skill when the user requests to generate, create, or produce podcasts from text content. Converts written content into a two-host conversational podcast audio format with natural dialogue.
Analyze and optimize tweets for maximum reach using Twitter's open-source algorithm insights. Rewrite and edit user tweets to improve engagement and visibility based on how the recommendation system ranks content.
Extracts and analyzes competitors' ads from ad libraries (Facebook, LinkedIn, etc.) to understand what messaging, problems, and creative approaches are working. Helps inspire and improve your own ad campaigns.
Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors