minitok
dev.minitok/minitok
About minitok
minitok is an MCP server published by minitok.dev. Verified coding workflows with planning, verification, bounded retries, evidence, and evolution.
It runs on your own machine: your AI client starts it from the npm package @flotic/minitok at version 1.5.4.
It asks for one secret: MINITOK_MCP_AUTH_TOKEN_FILE. Give it a key with the least access that still works.
Version 1.5.4 was published on 24 October 2026, and the source code is public, so you can read it before installing.
Written from the registry entry. 9 automated checks on the registry entry and the package code: 5 pass, 2 warn, 0 fail, 2 info. How we check.
What it asks for
| Variable | Required | Secret | Description |
|---|---|---|---|
MINITOK_MCP_AUTH_TOKEN_FILE | Yes | Yes | Owner-only runtime token file created by minitok mcp connect; required for authenticated local MCP sessions. |
MINITOK_MCP_SCOPES | No | No | Explicit local scopes. Defaults to read; add write and verify_exec only when the user intends repository changes and verification execution. |
MINITOK_SERVER_URL | No | No | Optional HTTPS minitok service URL override. Defaults to https://api.minitok.dev. |
Checks
| Check | Result | Detail |
|---|---|---|
| Source repository linked | Pass | https://github.com/floticinfo/minitok |
| Version pinned | Pass | Every package has an explicit version |
| Secrets requested | Info | Asks for 1 secret: MINITOK_MCP_AUTH_TOKEN_FILE |
| Known package registry | Pass | All packages come from npm, PyPI, OCI, NuGet or MCPB |
| Namespace ownership | Info | Name verified via domain minitok.dev |
| Registry text aimed at the AI | Pass | Description and settings contain no hidden characters or instructions to the AI |
| Install scripts | Warn | Runs at install: postinstall: node scripts/postinstall-mcp.mjs |
| Code red flags | Warn | Reads SSH or cloud credentials (src/cli/gui-commands.js:5: "id_rsa"); Reads SSH or cloud credentials (src/pipeline/implementer.js:46: "id_rsa") |
| Text aimed at the AI | Pass | No hidden characters or instructions to the AI in 188 files, including comments and the README |
Popularity & health: 47 / 100
Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.
0 forks, 5 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.
What people say
No Hacker News threads link to its source code.
Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.
Facts
| Registry name | dev.minitok/minitok |
|---|---|
| Publisher | Domain minitok.dev |
| How the name is verified | Name verified via domain minitok.dev. The registry ties the name prefix to that account or domain; it does not check the code. |
| Type | Local: runs on your machine from a package |
| Packages | npm @flotic/minitok 1.5.4 (stdio) |
| Version | 1.5.4 |
| Published | |
| Last updated | |
| Source repository | https://github.com/floticinfo/minitok |
| Website | https://minitok.dev/docs |
| Category | Productivity & notes (assigned by keyword rule, not by hand) |
Related servers in Productivity & notes
- Phlow MCP Server5/6MCP server for the phlow agent runtime: bounded…
- primer-mcp7/7A Jira-lite MCP server that guides planning-first workflows for…
Planner MCP — provable "done" for AI agents4/4Goal and task planning MCP for Codex and AI agents, with…- QY Evolution Engine4/413 tools for agents: pitfalls, results, tasks, capability.…
- KIP7/7Knowledge Graphs to enable memory persistence, knowledge evolution,…
- PrivateDAO Agent Exchange4/4PrivateDAO services for verification, multichain intelligence,…