What is the minitok MCP server?
Verified coding workflows with planning, verification, bounded retries, evidence, and evolution.
How to install minitok
Copy-paste configuration for popular MCP clients.
MINITOK_MCP_AUTH_TOKEN_FILErequiredsecretOwner-only runtime token file created by minitok mcp connect; required for authenticated local MCP sessions.
MINITOK_MCP_SCOPESExplicit local scopes. Defaults to read; add write and verify_exec only when the user intends repository changes and verification execution.
MINITOK_SERVER_URLOptional HTTPS minitok service URL override. Defaults to https://api.minitok.dev.
Related MCP servers

dev.mnemodb/mnemodb
Persistent agent memory as plain Markdown in your repo - readable, diffable, with provenance.
Search customer feedback, topics, people and companies in Modem, and run the Modem Agent.
Autocomplete Portuguese addresses and look up postal codes (CP7). Free remote MCP, no API key.

TrendFlow
Google Trends data: interest over time, by region, related queries, and trending now.

dev.mossforge/databroker
Pay-per-call UK MOT history, reliability analytics and identifier utilities. x402 USDC on Base.

mcp stdio server exposing mossgate trust and rue render apis with x402 usdc payment