🏪

Travis-Gilbert/Theorems-Harness

🏪Marketplace

What it does

Better code. Lower usage. Grows more intelligent with time

Add this Marketplace

Add marketplace in Claude Code:

/plugin marketplace add Travis-Gilbert/Theorems-Harness

1Plugins

Last UpdatedJul 14, 2026

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