Skip to main content
Glama
quantavane-mcp

quantavane-mcp

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault
QUANTAVANE_MCP_CCNoC compiler. Defaults to 'cc', then 'gcc', then 'clang'.
QUANTAVANE_MCP_GYMNoA training-gym backend, in the form 'package.module:attribute'. Defaults to none.
QUANTAVANE_MCP_CACHENoWhere the compiled Ramsey checker is kept. Defaults to '~/Library/Caches/quantavane-mcp' or '~/.cache/quantavane-mcp'.
QUANTAVANE_MCP_ROOTSNoFolders certificate_path may point into, separated by ':' (';' on Windows). Defaults to the working folder (unless it is '/' or home) and the temporary folders.
QUANTAVANE_MCP_INSTANCESNoFolder with CVRPLIB instance files. Defaults to none.
QUANTAVANE_MCP_MAX_BYTESNoLargest certificate file.33554432
QUANTAVANE_MCP_MEMORY_MBNoMemory cap of one checker process.1024
QUANTAVANE_MCP_TIMEOUT_SNoDefault time limit of one check, in seconds.120
QUANTAVANE_MCP_BENCHMARK_DIRNoA local benchmark checkout to use instead of the bundled copy (newer problems; not verified against the release). Defaults to the bundled copy.
QUANTAVANE_MCP_MAX_TIMEOUT_SNoLargest timeout_s a caller may ask for.900
QUANTAVANE_MCP_ALLOW_UNCAPPEDNoSet to '1' to run checks where the memory cap cannot be enforced. Defaults to unset.
QUANTAVANE_MCP_MAX_CONCURRENTNoNumber of checks running at once.2

Instructions

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.

Capabilities

Server capabilities have not been inspected yet.

Tools

Functions exposed to the LLM to take actions

NameDescription

No tools

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription

No resources