Plugin marketplace

theorems-harness-marketplace

Claude Code marketplace entry for Theorems Harness: capability manifests, host hooks, cached skills, and the MCP facade.

0 · Travis-Gilbert/Theorems-Harness1 pluginMITupdated 28 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

Agent delivery surface for Theorems Harness capabilities, hooks, and MCP facade.

16 skills · 5 commands · 2 MCP servers · hooks

0

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted