szch79

my-claude-marketplace

Lightweight Lean 4 skills — library search, proof assistance

Knowledge base management via Obsidian vault — ingest sources, distill conversation insights, refine articles, check vault health