🔌

theorems-harness-product

🔌Plugin

Travis-Gilbert/Theorems-Harness

What it does

Security check pending

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

Part of

Travis-Gilbert/Theorems-Harness

developmentmcpharnessagent-contextrustcapability-manifest

Installation

Add marketplace in Claude Code:

/plugin marketplace add Travis-Gilbert/Theorems-Harness

Step 2. Install plugin:

/plugin install theorems-harness-product@theorems-harness-marketplace

AddedJul 14, 2026

Better code. Lower usage. Grows more intelligent with time