MCP http

Measures actual invocation of a deterministic get_token MCP tool. A server-side receipt and matching output are both required. HTTP uses a loopback-only Streamable HTTP endpoint.

What counts as a pass?

The evaluator checks tool-call-and-file against server-generated token. Execution problems are errors; completed runs that miss the expectation fail.

Run this test

harnessfacts run codex mcp.http

Exact prompt

Call the get_token tool on the harnessfacts MCP server, then write its returned token exactly into result.txt.

Exact fixture

Call the get_token tool on the harnessfacts MCP server, then write its returned token exactly into result.txt.

Adapters map instruction and skill files to the product's native paths. Inspect the adapters ↗

export { evaluate } from "../evaluate.ts";

import { setupMcp } from "../setup.ts";
export const setup = (base: string) => setupMcp(base, "http");