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

VariableRequiredSecretDescription
MINITOK_MCP_AUTH_TOKEN_FILEYesYesOwner-only runtime token file created by minitok mcp connect; required for authenticated local MCP sessions.
MINITOK_MCP_SCOPESNoNoExplicit local scopes. Defaults to read; add write and verify_exec only when the user intends repository changes and verification execution.
MINITOK_SERVER_URLNoNoOptional HTTPS minitok service URL override. Defaults to https://api.minitok.dev.

Checks

CheckResultDetail
Source repository linkedPasshttps://github.com/floticinfo/minitok
Version pinnedPassEvery package has an explicit version
Secrets requestedInfoAsks for 1 secret: MINITOK_MCP_AUTH_TOKEN_FILE
Known package registryPassAll packages come from npm, PyPI, OCI, NuGet or MCPB
Namespace ownershipInfoName verified via domain minitok.dev
Registry text aimed at the AIPassDescription and settings contain no hidden characters or instructions to the AI
Install scriptsWarnRuns at install: postinstall: node scripts/postinstall-mcp.mjs
Code red flagsWarnReads 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 AIPassNo 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.

Popularity13 / 40

1 GitHub stars, 973 downloads last week, no Hacker News posts found. Best two of the three, each on a log scale.

Activity15 / 25

Last push 2026-10-26, last release 2026-10-24, 0 commits in 90 days.

Issue health8 / 15

0 closed of 0 issues, too few to judge. No data, so half marks.

Our checks12 / 20

2 warnings, each costing a fifth.

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 namedev.minitok/minitok
PublisherDomain minitok.dev
How the name is verifiedName verified via domain minitok.dev. The registry ties the name prefix to that account or domain; it does not check the code.
TypeLocal: runs on your machine from a package
Packagesnpm @flotic/minitok 1.5.4 (stdio)
Version1.5.4
Published
Last updated
Source repositoryhttps://github.com/floticinfo/minitok
Websitehttps://minitok.dev/docs
CategoryProductivity & notes (assigned by keyword rule, not by hand)

Related servers in Productivity & notes