Mintocode plugin for Grok Build
Compile your repository once; your coding agent then gets only the minimal linked paragraphs it needs.
How to install Mintocode in Grok Build
grok plugin install Spearmintai/mintocode --trustReview before you trust it. --trust lets this plugin's hooks, MCP servers and scripts run code on your computer. It's a community repo that neither xAI nor GrokStacks has reviewed, so read its code first.
We install this repo directly: Grok Build 1.0.62 can't install it through its own marketplace file. Then start a new Grok session, or press r in /plugins, to load it.
Command format: Grok Build's plugin guide
Runs a local MCP server (with npx, uvx or similar), so that tool needs to be installed, for example Node.js for npx.
What we checked: on Oct 18, 2026 it installed with grok 1.0.62 and Grok found 7 skills, 6 slash commands. That's an install check only: we haven't run it in a live Grok session.
What it contains
Skills (7)
mic— Use when working in a repository that has a .micode/ directory (a compiled understanding of the codebase) — to answer questions about the code, locate where something is implemented, plan a change, or find what calls what, with far fewer toask— Answer a codebase question from the minimal linked paragraphs, in one cheap model callcompile— Compile this repository into .micode/ (one-time; later runs are incremental)config— Set mic's file types, ignores and scope (e.g. ext .H .C, ignore tutorials/, include src/finiteVolume, show)setup-judge— Install mic's optional local paragraph judge (Laya, open-source, runs on your machine)status— Show mic compile stats, verification ratio, cost and stale filesupdate— Incrementally recompile only the files that changed since the last mic compile
MCP servers (1)
mic— stdio server
Hooks (1)
hooks— PreToolUse, SessionStart, UserPromptSubmit
About this listing
Mintocode is a community plugin on GitHub by Spearmintai, written as a Claude Code plugin that Grok Build installs. We install-checked it in Grok; we haven't run it in a live session or reviewed its code. When we installed it, Grok found 7 skills, 1 MCP server, 1 hook. Its license is MIT. We checked commit 19cbd2492d61. It's one of 409 listings in the Development category on GrokStacks.
Stacks Weekly: every new Grok Build and Codex plugin, every Tuesday.
One short email for GrokStacks and CodexStacks readers, with each new plugin's install line and what it ships. Subscribe and get the free starter list: 20 Grok Build plugins worth installing first.
You'll get a confirmation email first. Unsubscribe anytime.
Mintocode FAQ
How do I install Mintocode in Grok Build?
Run grok plugin install Spearmintai/mintocode --trust. We install-checked this command in Grok Build. We install this repo directly: Grok Build 1.0.62 can't install it through its own marketplace file. Then start a new Grok session, or press r in /plugins, to load it.
Is Mintocode an official Grok Build plugin?
No. Mintocode is a community plugin on GitHub by Spearmintai, not in xAI's official Grok Build marketplace. We checked that it installs and what Grok loads from it, but haven't run it in a live Grok session or reviewed its code.
What does Mintocode include?
According to what Grok loaded in our install check, Mintocode includes 7 skills, 1 MCP server, 1 hook: mic, ask, compile, config, setup-judge, status….
Details
- Type
- Plugin
- Category
- Development
- Source
- Community Claude Code plugin, installs in Grok
- License
- MIT
- Author
- Spearmintai
- Version
- 1.1.1
- Source repo
- https://github.com/Spearmintai/mintocode
- Checked commit
19cbd2492d61- Checked by GrokStacks
- Install-checked in Grok Build on Oct 18, 2026; not run in a live session
Something wrong or missing? Submit or improve this listing. Marketplace listings also refresh automatically every night.
For maintainers: badge and embeds
Maintain Mintocode? Add the badge; it links to this page.
Markdown
[](https://grokstacks.com/p/mintocode/)HTML
<a href="https://grokstacks.com/p/mintocode/"><img src="https://grokstacks.com/badge.svg" alt="Listed on GrokStacks" width="164" height="28"></a>Embed card (static HTML and inline CSS, no JavaScript). Preview:
<a href="https://grokstacks.com/p/mintocode/" style="display:block;max-width:380px;box-sizing:border-box;padding:14px 16px;border:1px solid #2a2e3c;border-radius:12px;background:#0a0b0f;color:#e8eaf0;font:14px/1.45 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;text-decoration:none"><span style="display:block;font-size:16px;font-weight:700;color:#e8eaf0">Mintocode</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#9aa0b1">Community plugin for Grok Build · 7 skills, 1 MCP server, 1 hook</span><span style="display:block;margin:0 0 10px;color:#c9cdd8">Compile your repository once; your coding agent then gets only the minimal linked paragraphs it needs.</span><span style="font-size:12px;font-weight:600;color:#7c9cff">View on GrokStacks →</span></a>Markdown summary
**[Mintocode on GrokStacks](https://grokstacks.com/p/mintocode/)**: Community plugin for Grok Build with 7 skills, 1 MCP server, 1 hook. Install: `grok plugin install Spearmintai/mintocode --trust`More on badges, embeds and keeping your listing up to date: GrokStacks for plugin authors.
Also in Development
Abap2UI5
Build UI5 Apps Purely in ABAP
Accessibility Agents
Accessibility review agents for Claude Code, GitHub Copilot, and Claude Desktop. Eleven specialists that enforce WCAG 2.2 AA compliance so AI coding tools stop generating inaccessible code.
addyosmani/agent-skills
Production-grade engineering skills for AI coding agents.
Advise Project Approach
A portable project-planning skill for Codex, Claude Code, pi, Hermes, and Agent Skills-compatible harnesses. Evidence before build advice.
Agent Bridge
A local bridge for bidirectional collaboration between Claude Code and Codex. 连接 Claude Code 与 Codex 的本地实时协作桥接工具。
Agent Harness
Our agent harness: Skills, plugins, hooks, and utilities to improve the quality of your agent.