tok runs on your own machine — the client starts it, so there is no endpoint to ping. 402 installs a week from pypi. Last commit 6 Nov 2026.
Model BPMN processes and DMN decisions as text: check, export, import, simulate, evaluate.
What the code does
We read the source, 1 d ago · rules 995398eba69f
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
res = subprocess.run([tok_program(), "export", case, "-o", folder], capture_output=True, text=True,
const bundled = path.join(extensionPath, "server", exe);
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Connect this server
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add tok -- uvx tok-lang{
"mcpServers": {
"tok": {
"command": "uvx",
"args": [
"tok-lang"
]
}
}
}[mcp_servers.tok]
command = "uvx"
args = ["tok-lang"]{
"mcpServers": {
"tok": {
"command": "uvx",
"args": [
"tok-lang"
]
}
}
}{
"servers": {
"tok": {
"type": "stdio",
"command": "uvx",
"args": [
"tok-lang"
]
}
}
}Alternatives to tok
same job, measured the same wayCreate, validate, simulate and deploy Camunda 8 BPMN processes, forms and DMN from an agent.
Injection molding simulation expertise — materials, process validation, and DFM checks
MCP server for Deckbase - exposes docs, template blocks, and project context
Evaluate, simplify, and differentiate mathematical expressions.
Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.
GPSR compliance check and small-business valuation estimate, from Instilus.
Lint Jev and Luna decision-model questions, or ask the model to check them with your key.
Create and evaluate versioned decision models with reproducible results and declared assumptions.
tok — questions
Answers built from our own checks of this server.