lean-rs-skills은(는) 무엇을 하나요?
Rust + Lean 4 개발을 위한 일반 기술 세트 (Claude Code 플러그인): 심층 모듈 설계, 성능, 테스팅, 기술 문서 작성, 매크로.
Rust + Lean 4 개발을 위한 일반 기술 세트 (Claude Code 플러그인): 심층 모듈 설계, 성능, 테스팅, 기술 문서 작성, 매크로.
이 기술은 개발자가 Rust와 Lean 4 언어를 사용하여 고품질의 소프트웨어를 제작할 수 있도록 돕는 Claude Code 플러그인입니다. 심층 모듈 설계, 성능 최적화, 철저한 테스팅, 명확한 기술 문서 작성, 그리고 고급 매크로 프로그래밍과 같은 핵심 영역을 집중적으로 다룹니다. 주로 Rust와 Lean 4 프로젝트에서 Claude Code를 사용할 때 유용하며, 코드 생성, 리팩토링, 문서화 작업에서 일관되고 전문적인 수준의 결과물을 얻을 수 있습니다. 이 기술은 SKILL.md 파일에 정의된 지침을 기반으로 Claude Code의 동작을 안내하여, 개발자가 더 효율적이고 견고한 코드를 작성하도록 지원합니다.
npx skills add jcreinhold/lean-rs-skillsInstalled? Explore more 라이팅 & 에디팅 skills: steipete/notion, langchain-ai/langchain, bytedance/podcast-generation · View all 6 →
Rust + Lean 4 개발을 위한 일반 기술 세트 (Claude Code 플러그인): 심층 모듈 설계, 성능, 테스팅, 기술 문서 작성, 매크로.
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