com.kenoodl/synthesis

skills: {'id': 'verify', 'name': 'verify', 'description': 'Runs your code against a contract and returns HELD or BROKE at the exact input, deterministic and rerunnable. Executes JavaScript (Node) or Python 3 in an ephemeral sandbox that is discarded after the run; nothing is stored. Provide the code plus either a contract (fn + call/expected examples, e.g. lifted from your failing test) for a BROKE-capable verdict, or an assumption in plain words for a FINDINGS read. Verdicts: HELD (the code satisfies the contract), BROKE (the exact input where it does not, with a proof you rerun yourself), FINDINGS (a stated property strained under a generated input, returned for you to check), or DROP (not a deterministic checkable claim). It checks the code against the contract you give; it does not judge whether the contract is right. BROKE fires only from a contract you provide, and correct code is never told it is broken. Deterministic code and math only. Call it when a fix passes your own check but the target test still fails, or when the same failure repeats unchanged across edits. Paid per call over x402 on Base, 1 USDC, no account; if no verdict is produced, the payment is refunded on-chain.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}, {'id': 'verify_status', 'name': 'verify_status', 'description': 'Poll a verify job for its verdict. Pass the jobId the verify tool returned. Returns the status and, once complete, the verdict: HELD, BROKE (with the counterexample), FINDINGS, or DROP.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}; uptime_30d 1.0%; p95 164.2ms; conformance: pass

How to connect

https://kenoodl.com/mcp

curl -X POST https://kenoodl.com/mcp \
  -H 'Content-Type: application/json' \
  -H 'Accept: application/json, text/event-stream' \
  -d '{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}'