🏪

Travis-Gilbert/Theorems-Harness

🏪Marketplace

Add this Marketplace

Add marketplace in Claude Code:

$/plugin marketplace add Travis-Gilbert/Theorems-Harness

What it does

Better code. Lower usage. Grows more intelligent with time

1Plugins

Last UpdatedJul 14, 2026

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