Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Spanish e-invoicing with VeriFactu (AEAT): issue invoices, manage customers, validate NIFs.
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.
BEEL_API_KEY, BEEL_ENVValues marked secret are keys to your account. Never share them or paste them into a chat.
You need
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Works in Claude on the web, desktop and mobile:
https://mcp.beel.es/mcpOpen Claude Desktop → Settings → Developer → Edit Config, and paste this into claude_desktop_config.json
{
"mcpServers": {
"beel": {
"command": "npx",
"args": [
"-y",
"@beel_es/mcp"
],
"env": {
"BEEL_API_KEY": "your-value",
"BEEL_ENV": "your-value"
}
}
}
}Run this in your terminal
claude mcp add --transport http beel https://mcp.beel.es/mcpclaude mcp add beel --env BEEL_API_KEY=your-value --env BEEL_ENV=your-value -- npx -y @beel_es/mcpFill in the empty values before running it.
Paste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"beel": {
"url": "https://mcp.beel.es/mcp"
}
}
}Paste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"beel": {
"command": "npx",
"args": [
"-y",
"@beel_es/mcp"
],
"env": {
"BEEL_API_KEY": "your-value",
"BEEL_ENV": "your-value"
}
}
}
}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.
Paste into .vscode/mcp.json in your project
{
"servers": {
"beel": {
"type": "http",
"url": "https://mcp.beel.es/mcp"
}
}
}Paste into .vscode/mcp.json in your project
{
"servers": {
"beel": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@beel_es/mcp"
],
"env": {
"BEEL_API_KEY": "your-value",
"BEEL_ENV": "your-value"
}
}
}
}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.
ChatGPT connects only to servers on the internet:
https://mcp.beel.es/mcpMenu names can differ slightly by plan and over time.
Your choice stays on this device in a cookie; no account needed.
BEEL_ENV envThese settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
The server asks you to sign in before it lists its tools.
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 7, 2026
The registry name was verified against the domain beel.es (the registry checks domain ownership)
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
Responded in 1074 ms (HTTP 401)
Declares OAuth sign-in, so your AI app can take you to log in
Not checked yet; we read the tool list when we check the endpoint
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 3 of 3 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.
You need to fill in: BEEL_API_KEY
Either way works: install it on your computer or connect to the cloud version.
The GitHub repo last changed –, and the latest version (0.10.0) reached the registry 3 days ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT in developer mode.
In the same category: Spec Driven Development, Remote Desktop Commander, Systemdox
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.
Your architecture in your agents' context: checks, specs, ADRs and docs over MCP, at write time.
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.
BeeL MCP server — VeriFactu e-invoicing for AI agents
Servidor MCP de facturación electrónica española con VeriFactu (AEAT): crea, emite y rectifica facturas desde Claude, ChatGPT, Cursor o VS Code .
MCP server for Spanish e-invoicing with VeriFactu compliance — issue, correct and register invoices with AEAT straight from your AI agent.
beel.es · API docs · MCP guide · npm
An MCP (Model Context Protocol) server that lets an AI agent issue legally compliant Spanish electronic invoices — VeriFactu registration with AEAT, F1/F2 invoice types, R1–R5 correctives, NIF validation against the census, and the regime keys the regulation requires. Connect it to Claude, ChatGPT, Cursor or VS Code and your agent can handle Spanish invoicing — *facturación electrónica* and *factura electrónica VeriFactu* — end to end, without you writing a single API call.
It is not a generated wrapper around an API. Three things make it usable by a model:
One codebase, two transports: the hosted remote server at https://mcp.beel.es/mcp (Streamable HTTP + OAuth — one login per user, nothing to install), and a local stdio server built from this repository for headless use, where an API key works and a browser-based login does not.
Add `https://mcp.beel.es/mcp` as a connector in Claude, ChatGPT, Cursor or VS Code and log in with your BeeL account. Nothing to install and no API key to handle: the server acts with your own credentials, and the OAuth flow is discovered from the URL.
# Claude Code
claude mcp add --transport http beel https://mcp.beel.es/mcp
That is the whole setup for interactive use. Read on only if you need the local server.
Use the local server when OAuth cannot: a scheduled job that issues invoices, a CI pipeline, or any headless process where no one is present to complete a browser login. It authenticates with an API key instead.
Requires Node ≥ 20.
// Claude Desktop / Claude Code MCP config
{ "mcpServers": { "beel": { "command": "npx", "args": ["-y", "@beel_es/mcp"], "env": { "BEEL_API_KEY": "beel_sk_test_xxx" } } } }
# Claude Code
claude mcp add beel --env BEEL_API_KEY=beel_sk_test_xxx -- npx -y @beel_es/mcp
Keys prefixed beel_sk_test_ are safe to experiment with; beel_sk_live_ issues real fiscal documents.
Releases are published from CI through npm trusted publishing, so they carry provenance: npm records the exact commit and workflow each build came from. Verify it with npm audit signatures.
Each release is also announced to the MCP Registry as `es.beel/mcp`, listing both transports, so clients that browse the registry find the server without being pointed at it. The name is authenticated by a DNS record on beel.es, so it says the server comes from us and not merely from some repository.
An earlier listing under io.github.beel-es/beel-mcp (v0.2.2) was retired when the name moved. Registry names are identities rather than labels, so a rename is a new entry rather than a redirect; both point at the same npm package and the same hosted server.
openapi/public-api.yaml — invoices, customers, products, recurring invoices, series and tax configuration, NIF validation, companies.beel_docs_search, beel_docs_get, beel_docs_list over the documentation (the docs site's search endpoint and one page's Markdown at a time, or some of its sections in one call: a long page answers with its outline); beel_rules_list and beel_rules_get over the fiscal rules catalogue (by id, several ids at once, domain, keyword or error code); beel_schema_get, the fields of request and response schemas as compact TypeScript-like declarations from the bundled contract (by schema name, or by tool name for its query, body and return type); and beel_get_setup_status, which reports per NIF exactly what is missing before it can issue, the one next action to take, and the ids an integration starts from (company, default series per document type, VeriFactu status and tax defaults).beel://guardrails/* — the fiscal rules, one resource per domain, the API usage guides, and beel://guardrails/errors, a catalogue of every error code with the action it calls for. The domains and guides that apply are named in the description of every tool they constrain.issue-invoice (validate NIF → choose F1/F2 → check the VeriFactu gates → issue), fix-invoice (void vs correct), fix-rejection (act on an AEAT rejection by code family), onboard-nif, go-live-checklist, setup-representation, invite-member, connect-payments and upgrade-integration.A generated catalogue of every tool, with the scopes each requires, lives at docs.beel.es/mcp/tools (npm run tools:catalog).
Binary downloads (PDF preview, bulk ZIP, Excel/CSV export), binary uploads (Holded import, signed-PDF submission, logo), webhook infrastructure, operations that only a browser session can authenticate, and every deprecated operation. An agent cannot drive them, and each one costs context that a usable tool needs. The CSV imports of managed accounts and customers are tools: the agent passes the CSV as text and the server sends the file. The rules are in src/policy/tool-policy.ts.
Spanish e-invoicing has invariants an LLM will get wrong from the schema alone — voiding an invoice that should have been corrected, using R1 on a simplified invoice, editing one AEAT has already registered. The server addresses that in three layers, and the difference between them matters:
1. Advisory — two sources, kept apart on purpose:
docs.beel.es/api/rules.json: each rule has an id (COR-002), a statement, why it exists, its legal basis, the error codes that enforce it and examples. The server reads it at runtime (cached, like the other docs files) and serves it through beel_rules_list / beel_rules_get and one resource per domain (beel://guardrails/corrective, …). Nothing fiscal is re-typed here. A snapshot of the catalogue ships in the package as a fallback for when the docs host is unreachable; npm run sync:rules is its only writer, and a test fails if it was edited by hand. The former beel://guardrails/cancel-vs-rectify, invoice-types and regime-keys URIs still resolve, to the domains that replaced them.src/guardrails/rules/*.md — cover what is not a fiscal rule but still trips an agent: how a line states its price, how a series is configured, which company an operation acts on, how to read NIF validation and issuing readiness, and which tool performs each invoice operation. They link to rule ids rather than restating them.The domains and guides that apply are named in the description of every tool they constrain, so the constraint travels with the call.
2. Enforced — src/guardrails/validate.ts, checked before the request is sent, so a bad payload never even consumes an idempotency key:
| Check | Code |
|---|---|
| Exactly one pricing field per line | LINE_UNIT_PRICE_XOR_DECLARED_TOTAL |
| No discount on a declared total | LINE_DECLARED_TOTAL_FORBIDS_DISCOUNT |
| No IRPF withholding on a simplified (F2) invoice | SIMPLIFICADA_FORBIDS_IRPF |
No nif or alternative_id on a simplified (F2) invoice's recipient | SIMPLIFIED_INVOICE_FORBIDS_IDENTIFIED_RECIPIENT |
Equivalence surcharge only under regime 18, and 18 only with one | SURCHARGE_REQUIRES_REGIME / REGIME_REQUIRES_SURCHARGE |
| Series format can tell its reset periods apart | SERIES_ANNUAL_REQUIRES_YEAR / SERIES_MONTHLY_REQUIRES_MONTH_AND_YEAR |
| Numbering is only seeded in the call that activates the company | NUMBERING_REQUIRES_ACTIVATION |
SUPLIDO lines carry their source reference | checked locally |
Exemption text only under reason OTRO | checked locally |
Correctives go through their own operation, not type: CORRECTIVE | checked locally |
3. Explained — the BeeL API already answers well: its message is written for a human in the caller's language, error.details carries the specifics, and the RFC 7807 type field links to a documentation page for that exact code. The server relays all of that untouched, and adds only the two things a response cannot carry: the remedy as a tool call — the docs address someone with the dashboard open ("create a series in settings"), an agent needs beel_set_default_series — and whether retrying can possibly help, which is what stops an agent looping on a 403 that needs an administrator. When the code is one a published rule cites, the error also names that rule (id, title, link). src/guardrails/catalog.ts holds only codes where one of those applies; anything else passes through, because a paraphrase would be worse than the original and would drift from it. The nested blockers[] of EMISSION_NOT_READY are the clearest case: they arrive as bare strings with no message and no link, and each comes back out naming the tool that clears it.
The BeeL API is the authority on all of it. Every enforced rule mirrors a rejection the contract documents, so the pre-flight
Only the beginning is shown; read the rest in the repo