szch79/agent-marketplace
2 skills0 installsGitHub
Install
npx skills add https://github.com/szch79/agent-marketplaceSkills in this repo
1Lean4 Skills LiteA lightweight set of Lean 4 helpers offering library search and proof assistance. A developer doing formal verification or theorem proving in Lean 4 uses it to find relevant lemmas and get help constructing proofs faster.0installs2Obsidian KbManages an Obsidian vault as a knowledge base: it ingests sources, distills insights from conversations, refines articles, and checks vault health. A builder or knowledge worker uses it to grow and maintain a clean, well-linked personal knowledge store.0installs