Was macht lean-rs-skills?
Generische Rust + Lean 4 Handwerksfähigkeiten (Claude Code Plugin): tiefes Moduldesign, Leistung, Tests, technisches Schreiben, Makros.
Generische Rust + Lean 4 Handwerksfähigkeiten (Claude Code Plugin): tiefes Moduldesign, Leistung, Tests, technisches Schreiben, Makros.
Dieses Skill-Paket bietet eine Sammlung generischer, aber detaillierter Handwerksfähigkeiten für Rust und Lean 4, die als Claude Code Plugin fungieren. Es hilft Entwicklern, hochwertigen, modularen Code zu schreiben, indem es tiefgehende Module entwirft, Leistung optimiert, umfassende Tests durchführt, technische Dokumentation erstellt und Makros für Rust effektiv einsetzt. Das Skill legt besonderen Wert auf Code-Qualität, Lesbarkeit und Wartbarkeit und liefert Best Practices sowie konsistente Muster. Es ist ideal für Projekte, die sowohl Rust für systemnahe Programmierung als auch Lean 4 für formale Verifikation nutzen, und unterstützt den gesamten Entwicklungslebenszyklus von der Planung bis zur Dokumentation.
npx skills add jcreinhold/lean-rs-skillsInstalled? Explore more Schreiben & Editieren skills: steipete/notion, langchain-ai/langchain, bytedance/podcast-generation · View all 6 →
Generische Rust + Lean 4 Handwerksfähigkeiten (Claude Code Plugin): tiefes Moduldesign, Leistung, Tests, technisches Schreiben, Makros.
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