Verified coding workflows with planning, verification, bounded retries, evidence, and evolution.
Connect Runs on your machine
claude mcp add minitok -e MINITOK_MCP_AUTH_TOKEN_FILE=<MINITOK_MCP_AUTH_TOKEN_FILE> -e MINITOK_MCP_SCOPES=<MINITOK_MCP_SCOPES> -e MINITOK_SERVER_URL=<MINITOK_SERVER_URL> -- npx -y @flotic/[email protected]
{
"mcpServers": {
"minitok": {
"command": "npx",
"args": [
"-y",
"@flotic/[email protected]"
],
"env": {
"MINITOK_MCP_AUTH_TOKEN_FILE": "<MINITOK_MCP_AUTH_TOKEN_FILE>",
"MINITOK_MCP_SCOPES": "<MINITOK_MCP_SCOPES>",
"MINITOK_SERVER_URL": "<MINITOK_SERVER_URL>"
}
}
}
}
{
"mcpServers": {
"minitok": {
"command": "npx",
"args": [
"-y",
"@flotic/[email protected]"
],
"env": {
"MINITOK_MCP_AUTH_TOKEN_FILE": "<MINITOK_MCP_AUTH_TOKEN_FILE>",
"MINITOK_MCP_SCOPES": "<MINITOK_MCP_SCOPES>",
"MINITOK_SERVER_URL": "<MINITOK_SERVER_URL>"
}
}
}
}
{
"servers": {
"minitok": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@flotic/[email protected]"
],
"env": {
"MINITOK_MCP_AUTH_TOKEN_FILE": "<MINITOK_MCP_AUTH_TOKEN_FILE>",
"MINITOK_MCP_SCOPES": "<MINITOK_MCP_SCOPES>",
"MINITOK_SERVER_URL": "<MINITOK_SERVER_URL>"
}
}
}
}
Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.
Tools
This server runs locally, so its tools are listed by your MCP client once it starts.
Environment variables
| Name | Description |
|---|---|
MINITOK_MCP_AUTH_TOKEN_FILERequired, secret | Owner-only runtime token file created by minitok mcp connect; required for authenticated local MCP sessions. |
MINITOK_MCP_SCOPESOptional | Explicit local scopes. Defaults to read; add write and verify_exec only when the user intends repository changes and verification execution. |
MINITOK_SERVER_URLOptional | Optional HTTPS minitok service URL override. Defaults to https://api.minitok.dev. |
Details
| Package | @flotic/[email protected] (NPM, stdio) |
| First published | 24 Oct 2026 |
| Last updated | 24 Oct 2026 |
| Registry name | dev.minitok/minitok |
More developer tools servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
