Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Your own IMAP/SMTP mailboxes as agent tools, with per-agent policy and human-approved sends.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Download the maker’s .mcpb file
The link goes to the maker’s own file; we do not host or repackage it. Open the file and Claude Desktop installs it.
Run this in your terminal
Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
This one runs on your computer, and ChatGPT can only connect to servers on the internet. Pick another app.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
Runs on your computer; the tool list appears in your AI app after you install it.
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 6, 2026
The registry name was verified with the GitHub account tymrtn, which owns the repo
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
This one runs on your computer; there is no internet endpoint
Runs on your computer and uses local settings instead
Runs on your computer; we can only read tool lists from internet endpoints
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
The registry does not list a required key, though some servers ask you to sign in on first use.
It runs on your computer. Your AI app starts it when needed, and data does not pass through the maker’s servers (unless it calls an online service itself).
The GitHub repo last changed –, and the latest version (1.3.26) reached the registry 10 days ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. You also need MCPB on your computer.
In the same category: Spec Driven Development, Remote Desktop Commander, Apify MCP Server
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Extract data from any website with thousands of scrapers, crawlers, and automations on Apify Store ⚡
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
📧 Envelope U+1F4E7 — if you know, you know. One inbox for all your email accounts, shared with your agents.
Why U1F4E7? It's the Unicode codepoint for 📧. Humans see a repo name. Agents see an envelope.
Setup • Travel • CLI • Rules • MCP • Agent plugins • vs. Alternatives • Dashboard • Commercial licensing • License
Envelope connects to the email accounts you already have (Gmail, Fastmail, iCloud, your own domain, any IMAP server) and puts them in one place. Open the Unified Inbox in your browser to read every account together, search them all at once, and archive or snooze across accounts in one pass. Your agents work the same mailboxes from the CLI, with JSON output, or over MCP, and anything they draft waits for your approval.
You don't change DNS, set up a new domain, or pay per-message fees. Add each address with its app password and go.
envelope accounts add --email you@gmail.com
envelope accounts add --email you@work.example envelope serve # every account in one inbox at http://localhost:3141 envelope inbox --account you@work.example --json # the same mail, for your agent
# macOS or Linux: downloads the release binary for your OS and CPU, checks it
curl -fsSL https://u1f4e7.com/install.sh | bash
brew install tymrtn/u1f4e7/envelope
tymrtn/u1f4e7/u1f4e7 is a live compat alias for the same formula.
To build it yourself instead:
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh && source "$HOME/.cargo/env"
git clone https://github.com/tymrtn/U1F4E7 cd U1F4E7 cargo build --release
--features governor to build in the Governor send gate (see below).cp target/release/envelope ~/.local/bin/envelope
The release workflow signs and notarizes the macOS binaries once its Apple credentials are configured (docs/release-signing.md); until then macOS release binaries are unsigned. If macOS refuses to run an unsigned tarball you downloaded in a browser, clear the quarantine flag: xattr -d com.apple.quarantine ~/.local/bin/envelope.
Envelope signs in to IMAP and SMTP with a password or an app password, and to Gmail with Google sign-in. That decides which mailboxes work today:
envelope accounts add --provider google --email you@gmail.com signs in with Google in your browser; envelope accounts reauth you@gmail.com --provider google switches an account added with a password. While Envelope's Google app is in Google's testing stage, only addresses on its test-user list can sign in, and Google asks again every 7 days. An app password still works for accounts that can create one. From another device, add --paste (automatic over SSH), or run --paste --no-wait now and --finish - within 24 hours.Envelope encrypts saved credentials with a passphrase. In a terminal it asks you for one. Scripts, agents, and the piped command below have no terminal to ask from, so give Envelope a passphrase file first:
# Create a random passphrase readable only by you, and point Envelope at it.
(umask 077 && openssl rand -base64 32 > "$HOME/.envelope-passphrase") export ENVELOPE_MASTER_PASSPHRASE_FILE="$HOME/.envelope-passphrase"
printf '%s\n' "$APP_PASSWORD" | envelope accounts add --email you@fastmail.com --password-stdin
envelope quickstart
envelope folders
envelope inbox --limit 20
envelope read 42
envelope send --to someone@example.com --subject "Report" --body "Attached." --attach report.pdf
envelope draft reply 42 --body "Thanks."
envelope snooze set 42 --until monday --reason waiting-reply
envelope watch --json
envelope --json code --account you@example.com --from otp@issuer.example --wait 60
envelope send --to cto@example.com --subject "Report" --body "..." --at "monday 9am"
envelope contacts import --from-inbox envelope rule create --name "VIP" --match-contact-tag vip --action flag=\\Flagged
envelope tag set 42 --score urgent=0.1 --tag newsletter envelope rule create --name "Junk newsletters" --match-tag newsletter --match-score-below interesting=0.3 --action move=Junk envelope rule run --confirm
envelope unsubscribe 99
envelope serve
tailscale serve proves them.envelope config set dashboard.tailscale_allow "you@your-tailnet.ts.net,skippy@your-tailnet.ts.net"
envelope config set dashboard.auth_token "$(openssl rand -hex 32)"
tailscale serve --bg 3141
envelope paths
The dashboard opens as a three-pane mail shell. Unified Inbox is the default read-only surface and loads from the local message index; explicit refreshes or account/folder selections are what touch live IMAP mailboxes.
Actual sends are outbox-first. By default, an allowed send queues with a safety cooldown and the scheduled-send sweep performs the SMTP transmission later. Every agent send must declare factual attributes, and Envelope checks them against what it can observe before anything is queued or sent.
Governor scoring is a build-time Cargo feature, off by default. Homebrew and the release archives are built without it, so their sends are not scored by Governor, and send results and audit events record the gate as mode: "off". In those builds the draft-only ceiling still binds MCP sessions that carry an agent token, but an agent with shell access can send through envelope send (which defaults to autonomous-send), so give agents MCP with an agent token rather than a shell. Builds made with cargo build --release --bin envelope --features governor (or cargo install --path crates/cli --features governor) derive sanitized contextual attributes immediately before SMTP and ask Governor to score them with governor score --catalog envelope; only an opaque Governor allow sends. Those builds expect the Governor binary at the path pinned in SMTP_GOVERNOR_BIN (crates/email/src/outbound.rs), and every send fails closed when it is missing. Message bodies, full recipient addresses, attachment bytes, and secrets never enter the Governor request.
Dashboard URL metadata in --json output is discovered fresh for each UI construction or request, from an active local tailscale serve HTTPS route whose root proxy targets http://127.0.0.1:3141. It otherwise falls back to http://localhost:3141. Every agent-facing ui object reports that decision as dashboard_origin_source (tailscale_serve or localhost_fallback) and adds a non-secret dashboard_origin_warning only when discovery needs attention. MCP results omit these ui objects and skip Tailscale discovery unless the call passes include_ui_links: true, so the host's tailnet name stays out of model context by default. dashboard_path is always portable and remains the canonical handle for agents; dashboard.base_url and the legacy dashboard-base environment variables are retained only for compatibility and do not affect emitted agent UI links. Tailscale Serve keeps the dashboard tailnet-only; Tailscale Funnel publishes it on the public internet, so do not use Funnel for a mailbox dashboard unless that exposure is intentional.
On 127.0.0.1 the dashboard is an unauthenticated single-user local surface — the same trust boundary as your shell. The REST API reads and deletes mail, manages accounts, and queues sends, so the moment it is reachable by another device (a non-loopback --bind, or a tailscale serve front-end) it must require a credential. Configure one of:
dashboard.tailscale_allow) — a request whose Tailscale-User-Login header (injected by tailscale serve) is in the allowlist is authorized. Humans just open the .ts.net URL; no token to type. Only safe behind tailscale serve, which sets and strips that header.dashboard.auth_token or ENVELOPE_DASHBOARD_TOKEN) — sent as Authorization: Bearer (or X-Envelope-Token), compared in constant time. The path for Hermes/OpenClaw agents and scripts.Once either is configured, every /api route returns 401 without a valid credential — including when tailscale serve fronts loopback. envelope serve --bind refuses to start unless an auth method is configured. /api/health stays reachable for liveness probes but discloses local filesystem paths only to authorized callers. The CORS allowlist is a browser-only defense, not the access control.
Himalaya is a great CLI email client. Envelope is a CLI email client built for agents.
| Envelope | Himalaya | |
|---|---|---|
| Compose / Reply / Forward | ✅ | ✅ |
| Inbox / Search / Folders | ✅ | ✅ |
| Move / Copy / Delete / Flag | ✅ | ✅ |
| Attachments (send + download) | ✅ | ✅ |
| JSON output | ✅ | ✅ |
| Multiple accounts | ✅
Only the beginning is shown; read the rest in the repo