Schema | verify-mcp

verify-mcp

Describes the environment variables required to run the server.

Name	Required	Description
`BUN_BIN`	No	Override the bun executable used to launch a TypeScript CLI.
`OLLAMA_HOST`	No	Ollama URL when base_url is omitted.
`LLAMA_BASE_URL`	No	llama.cpp URL when base_url is omitted.
`VERIHARNESS_BIN`	No	Override the CLI path. A .ts / .js / .mjs path is launched with bun. Anything else is executed as-is.
`VERIHARNESS_TMP`	No	Grader temp dir. Passed through.
`VERIHARNESS_DATA`	No	Materialized pools. Default ./data for the packaged install. When the resolved checkout is node_modules/veriharness and this is not set, it defaults to ./data in the server's working directory. ~ is expanded, and a value you set is passed through as an absolute path.
`VERIHARNESS_RUNS`	No	Run output. Default ./runs for the packaged install. When the resolved checkout is node_modules/veriharness and this is not set, it defaults to ./runs in the server's working directory. ~ is expanded, and a value you set is passed through as an absolute path.
`VERIHARNESS_BENCH_ROOT`	No	Benchmark archive checkout. Passed through to verify. Needed to materialize.
`VERIHARNESS_OLLAMA_BASE_URL`	No	Ollama URL when base_url is omitted.
`VERIHARNESS_LLAMACPP_BASE_URL`	No	llama.cpp URL when base_url is omitted.

Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.

This server publishes no instructions, or was last inspected before Glama recorded them.

Server capabilities have not been inspected yet.

Functions exposed to the LLM to take actions

Name	Description
No tools

Interactive templates invoked by user choice

Name	Description
No prompts

Contextual data attached and managed by the client

Name	Description
No resources

This server cannot be deployed

ActivityMaintained

ResponsivenessNo issues