Stats
Links
Categories
Custom agent skills for Obsidian knowledge-base workflows and Lean 4 library search.
npx claudepluginhub szch79/agent-marketplaceLightweight Lean 4 skills — library search, proof assistance
Knowledge base management via Obsidian vault for Claude Code
A collection of Claude Code plugins.
| Plugin | Description |
|---|---|
| obsidian-kb | Knowledge base management via Obsidian vault — ingest sources, distill conversation insights, refine articles, check vault health |
| lean4-skills-lite | Lightweight Lean 4 skills — library search, proof assistance |