O que lean-rs-skills faz?
Habilidades genéricas de artesanato em Rust e Lean 4 (plugin Claude Code): design de módulos profundos, desempenho, testes, escrita técnica, macros.
Habilidades genéricas de artesanato em Rust e Lean 4 (plugin Claude Code): design de módulos profundos, desempenho, testes, escrita técnica, macros.
Este skill, jcreinhold/lean-rs-skills, é um plugin para o Claude Code que fornece um conjunto de habilidades genéricas para desenvolvimento de software de alto nível usando as linguagens Rust e Lean 4. Ele é projetado para guiar o agente de IA em áreas como design de módulos com arquitetura robusta, otimização de desempenho, implementação de testes abrangentes, redação técnica clara e uso avançado de macros. Ao ativar este skill, o Claude Code ganha a capacidade de sugerir padrões de projeto modulares, aplicar convenções de nomenclatura e organizar o código de forma eficiente, além de priorizar desempenho e segurança de tipos. O skill suporta tanto o ecossistema Rust (com cargo, crates) quanto o Lean 4 (com seu sistema de provas e type theory), e é útil para projetos que exigem qualidade de código elevada, desde bibliotecas e sistemas até aplicações de verificação formal. Ele funciona analisando as instruções do desenvolvedor e aplicando as melhores práticas documentadas para cada uma das áreas cobertas, resultando em código mais limpo, testado e performático.
npx skills add jcreinhold/lean-rs-skillsInstalled? Explore more Escrita e Edição skills: steipete/notion, langchain-ai/langchain, bytedance/podcast-generation · View all 6 →
Habilidades genéricas de artesanato em Rust e Lean 4 (plugin Claude Code): design de módulos profundos, desempenho, testes, escrita técnica, 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