About io.github.tdalbanmoreynas/keel
io.github.tdalbanmoreynas/keel is an MCP server in the Gaming category: catches your AI coding agent when it games the tests - locked-test hashes, tamper detection.
Install
git clone https://github.com/tdalbanmoreynas/keelThis server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.
Tools (12)
check_driftRecalls constraints, flags unsaved work
Parameters not published.
checkpointGit commit of the step, with certification
Parameters not published.
init_projectLays the harness (architecture, constraints, test lock, git, hook, CLAUDE.md)
Parameters not published.
load_contextResumption briefing at session start
Parameters not published.
lock_testsRe-locks the tests (human action)
Parameters not published.
log_usageRecords real spend of a model call
Parameters not published.
record_decisionAppend-only log of architectural choices
Parameters not published.
reportMarkdown milestone report for the human
Parameters not published.
route_taskMost cost-effective model for a subtask
Parameters not published.
save_progressWrites done / doing / todo to disk
Parameters not published.
statsAggregated metrics (cost, cheating, certification, velocity)
Parameters not published.
verifyRuns the locked tests, detects tampering
Parameters not published.
Ask AI
Ask AI about io.github.tdalbanmoreynas/keel
Powered by Claude · Grounded in docs
Security checks
6 checks have not been run yet.