KE

keelyard MCP

Proof gate, undo and output trimming for Claude Code, Codex and OpenCode coding agents.

Grade A Local · stdio No auth needed 25 tools v1.2.1 Apache-2.0
No reviews yet by akobirjontulqinovfuturePyPI 3,000 Runs on your machine, nothing hosted
94/100
trust score
2
downloads a day
local
runs on your machine
163
downloads in 30d

What it does

Proof gate, undo and output trimming for Claude Code, Codex and OpenCode coding agents.

Quickstart

# 1 — add it to Claude Code claude mcp add --scope user keelyard-mcp '--' uvx keelyard mcp # 2 — ask your agent for something these tools do # proof_requirements, proof_check, proof_run_tests and 22 more

keelyard costs nothing on mcprush: there is no plan to choose here, no cap to set and nothing mcprush can bill you for.

Publishernot claimed
AK
akobirjontulqinovfuture1 server
1 category
All 1 server

Collected from a public index. Nobody has claimed this account, so nothing here was written by its author — claim it if it is yours.

More in this category

See also

See all