My Claude Marketplace
Install Obsidian knowledge-base agent skills and lightweight Lean 4 library or proof helpers from a two-plugin Claude marketplace.
Overview
my-claude-marketplace is a plugin marketplace for the Build phase that offers Obsidian knowledge-base agent skills and lightweight Lean 4 search and proof assistance.
What is this marketplace?
- 2 plugins: lean4-skills-lite and obsidian-kb
- obsidian-kb: ingest sources, distill conversation insights, refine articles, and vault health checks
- lean4-skills-lite: lightweight Lean 4 library search and proof assistance
- Owner metadata targets custom agent skills for KB workflows and formal methods
- Small curated marketplace instead of a large skills.sh dump
- 2 plugins in marketplace.json
- Metadata describes Obsidian KB workflows and Lean 4 library search
What problem does it solve?
Builders who rely on Obsidian and Lean 4 lack a small, trustworthy Claude marketplace that wires vault workflows and proof help into the agent.
Who is it for?
Solo builders using Claude Code with Obsidian for product docs and occasionally working in Lean 4 who want a minimal two-plugin catalog.
Skip if: Teams without Obsidian or Lean in their stack, or anyone needing broad language/framework coverage from one marketplace.
What do I get? / Deliverables
Registering the marketplace lets you install obsidian-kb or lean4-skills-lite so Claude Code can manage vault content and assist Lean proofs without custom skill hunting.
- 2 installable agent plugins from one manifest
- Vault-oriented KB workflows or Lean library/proof assistance per installed plugin
Plugins in this marketplace
2 plugins — install individually after you add the marketplace.
Recommended Marketplaces
Journey fit
Both entries are Claude agent skill plugins that extend the coding agent; the primary shelf is build/agent-tooling with docs and formal-methods validation as secondary fits. lean4-skills-lite and obsidian-kb are packaged marketplace plugins for agent invocation, not standalone SaaS features.
How it compares
Two-plugin agent skill marketplace, not an MCP server integration pack.
Common Questions / FAQ
Who is My Claude Marketplace for?
Claude Code users who manage an Obsidian knowledge base or write Lean 4 proofs and want prepackaged agent skills for those workflows.
When should I use My Claude Marketplace?
Add it during build or docs-heavy phases when vault ingestion and health matter, or when validating formally specified modules with Lean 4 assistance.
How do I add My Claude Marketplace to my agent?
Point Claude Code at the szch79/agent-marketplace repository as a marketplace source, then install lean4-skills-lite and/or obsidian-kb from the plugin list.