Mintocode plugin for Grok Build

Community Claude Code plugin, installs in GrokPluginDevelopment

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 --trust
✓ Install-checked in Grok Buildchecked Oct 18, 2026

Review 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 to
  • ask — Answer a codebase question from the minimal linked paragraphs, in one cheap model call
  • compile — 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 files
  • update — 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.

Listed on GrokStacks

Markdown

[![Listed on GrokStacks](https://grokstacks.com/badge.svg)](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

All 409 development listings →