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 add-skill jcreinhold/lean-rs-skillsGeneric Rust + Lean 4 craft skills (Claude Code plugin): deep-module design, performance, testing, technical writing, macros.
Obsidian writing assistant -- write articles, notes, journals and auto-sync to your vault via Google Drive. HappyCapy agent skill.
💎 OpenClaw skill — full Obsidian vault control via the Local REST API plugin. Read, write, search, append and manage notes from any AI agent. No macOS-only CLI required.
📝 Fetch Twitter/X content and convert it into blog posts using the MCP server for seamless integration and easy content management.
Open-source agent skills for AI coding tools (Claude Code, Codex CLI, Cursor, Windsurf)
Agent-ready Japanese writing kit based on 『悪文』 for review and revision
LLM agent workflow OS with a Markdown DSL. Constrained, validated, replayable execution. Predictability over autonomy.