Marketplace

my-claude-marketplace

Stars

Forks

Plugins

Installation

Add the marketplace

/plugin marketplace add szch79/claude-marketplace

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

GitHub Repository

szch79/claude-marketplace

Plugins

Skills

Agents

Owner

@szch79

View GitHub Profile

Last Crawled

March 29, 2026

Plugin

Lightweight Lean 4 skills — library search, proof assistance

Plugin

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