MCP Hub › Developer Tools › minitok
minitok MCP server
by floticinfo · dev.minitok/minitok
Verified coding workflows with planning, verification, bounded retries, evidence, and evolution.
How to install minitok
npm
claude mcp add -e MINITOK_MCP_AUTH_TOKEN_FILE=<your-minitok-mcp-auth-token-file> minitok -- npx -y @flotic/[email protected]
Or add it to your MCP config (Claude Desktop, Cursor, VS Code):
{
"mcpServers": {
"minitok": {
"command": "npx",
"args": [
"-y",
"@flotic/[email protected]"
],
"env": {
"MINITOK_MCP_AUTH_TOKEN_FILE": "<your-minitok-mcp-auth-token-file>"
}
}
}
}Environment variables:MINITOK_MCP_AUTH_TOKEN_FILE (required) – Owner-only runtime token file created by minitok mcp connect; required for authenticated local MCP sessions.MINITOK_MCP_SCOPES – Explicit local scopes. Defaults to read; add write and verify_exec only when the user intends repository changes and verification execution.MINITOK_SERVER_URL – Optional HTTPS minitok service URL override. Defaults to https://api.minitok.dev.
Replace placeholders in <angle brackets> with your own values. Review what a server can access before you enable it.
Details
- Version
- 1.5.4
- Published
- 2026-10-24
- Updated
- 2026-10-24
- Namespace
- dev.minitok
- Source
- floticinfo/minitok
Similar developer tools servers
- Octri CLIPush OpenAPI specs, build SDKs in ten languages, publish API docs,…
- Octri API DocsSearch an Octri project's API docs and call its endpoints as tools,…
- OmniDebugLinkremote debug iOS/Android/Unity/Godot/Flutter/RN/Web on…
- RampifyTurn your coding agent into a marketing agent: search data, specs to…
- RumoroTrack what people say about your product on Reddit, X, Hacker News,…
- SpecPilotGenerate and validate a .specs/ bundle for your repo, then hand it…
- TabhandLet your coding agents use your real, signed-in Chrome, in…
- TrailIssue tracker and durable project memory for your coding agent,…