theorems-harness-product
claudecodexAgent delivery surface for Theorems Harness capabilities, hooks, and MCP facade.
16 skills · 5 commands · 2 MCP servers · hooks
0
Plugin marketplace
Claude Code marketplace entry for Theorems Harness: capability manifests, host hooks, cached skills, and the MCP facade.
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
Shows how many plugins this repo ships, and links here.