Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
MCP server for AbraFlexi ERP — invoices, contacts, products, bank transactions.
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.
You need
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Open Claude Desktop → Settings → Developer → Edit Config, and paste this into claude_desktop_config.json
{
"mcpServers": {
"abraflexi": {
"command": "uvx",
"args": [
"abraflexi-mcp-server"
]
}
}
}Run this in your terminal
claude mcp add abraflexi -- uvx abraflexi-mcp-serverPaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"abraflexi": {
"command": "uvx",
"args": [
"abraflexi-mcp-server"
]
}
}
}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": {
"abraflexi": {
"type": "stdio",
"command": "uvx",
"args": [
"abraflexi-mcp-server"
]
}
}
}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 7, 2026
The publisher (Vitexus) is not the repo owner (VitexSoftware); someone else may have listed it
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 0 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.0.1) reached the registry 9 months ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. You also need Python (uv) on your computer.
In the same category: Spec Driven Development, Remote Desktop Commander, Rystic
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.
Start, seed, clock, inspect and diff Rystic API simulators from your agent.
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.
A comprehensive Model Context Protocol (MCP) server for AbraFlexi integration using FastMCP and python-abraflexi. This server provides complete access to AbraFlexi REST API functionality through MCP-compatible tools.
69 tools in total, covering the full REST surface exposed by python-abraflexi: dedicated tools for the most common evidences (invoices, contacts, products, bank transactions), plus generic evidence_* tools that work against *any* AbraFlexi evidence by name.
One server process = one AbraFlexi company. A running server is bound
for its whole lifetime to a single company, set via
ABRAFLEXI_URL/ABRAFLEXI_COMPANY(see Configuration).
Every record any tool returns already belongs to that company - it is not
possible to ask this server for another company's data. Call
server_info
to check which company/URL a running server is bound to; the main
record-fetching tools (
invoice_issued_get,invoice_received_get,
contact_get,product_get,bank_transaction_get,evidence_get,
changes_get) also echo it back in a_contextblock on every response,
together with a note clarifying any counterparty fields on the records
(e.g. an invoice's
nazFirmyis the customer/supplier, not the company
that issued/received it).
server_info - Report which AbraFlexi company/URL this server session is bound toinvoice_issued_get - Retrieve issued invoices (faktura-vydana)invoice_issued_create - Create new issued invoicesinvoice_issued_update - Update existing issued invoicesinvoice_issued_delete - Remove issued invoicesinvoice_received_get - Retrieve received invoices (faktura-prijata)invoice_received_create - Create new received invoicesinvoice_issued_match_payment - Match an invoice against a payment document (Párování plateb)invoice_issued_cash_payment - Pay an invoice in cash (Hotovostní úhrada)invoice_issued_deduct_advance - Deduct an advance invoice (Odpočet záloh a ZDD)invoice_issued_deduct_zdd - Deduct an advance tax document, ZDD (Odpočet záloh a ZDD)invoice_issued_link_zdd - Link a ZDD to an income payment (Vazby ZDD)invoice_issued_unlink_zdd - Remove a ZDD bonding (Vazby ZDD)invoice_issued_overdue_days - Compute days overdue from a due date (pure, no API call)invoice_issued_get_email - Resolve the best recipient email for an invoiceinvoice_issued_get_recipients - Resolve all recipient emails for an invoicecompany_create - Found a brand-new AbraFlexi company (accounting unit) - requires server-admin/license REST rightscontact_get - Retrieve contacts and companies (adresar)contact_create - Create new contactscontact_update - Update existing contactscontact_delete - Remove contactscontact_get_notification_email - Best email to notify (primary/purpose-matching contact)contact_get_cell_phone - Cell phone number to usecontact_get_any_phone - Any usable phone number (mobile preferred over landline)contact_get_bank_accounts - Registered bank account(s) for a contactproduct_get - Retrieve products from price list (cenik)product_create - Create new productsproduct_update - Update existing productsproduct_delete - Remove productsbank_transaction_get - Retrieve bank transactions (banka)bank_transaction_create - Create new bank transactionsevidence_get - Get records from any evidence (filter, pagination, sorting, relations)evidence_create - Create record in any evidenceevidence_update - Update record in any evidence (supports remove_external_ids)evidence_delete - Delete record from any evidenceevidence_list - List all evidences available on the bound company (live evidence-list.json)abraflexi_client_methods - List public methods of core python-abraflexi clients (ReadOnly, ReadWrite, Changes, Adresar, FakturaVydana)abraflexi_client_call - Invoke a selected public client method with arguments (write methods still respect READ_ONLY)evidence_lock / evidence_unlock / evidence_lock_for_ucetni - Lock/unlock a recordevidence_storno - Cancel (storno) a document recordevidence_perform_action - Call a record's dedicated business action (e.g. pay)evidence_mass_update - Update, or act on, every record matching a filter (Dávkové operace)evidence_batch_insert / evidence_batch_update - Insert/update many records in one requestevidence_attach_file - Attach a local file to any recordevidence_list_attachments - List a record's attachmentsevidence_get_attachment - Get metadata for a single attachmentevidence_download_attachment - Download an attachment to a local fileevidence_get_attachment_thumbnail - Download an image attachment's thumbnailevidence_delete_attachment - Delete an attachmentevidence_export_report - Export a PDF/XLSX report for a record or evidence listingevidence_get_qr_code - Get a document's payment QR code (file or base64 data URI)user_query_list - List saved user-defined queries (uzivatelsky-dotaz)call_user_query - Call a saved user-defined query (uživatelský dotaz)evidence_get_properties - List the fields supported by an evidenceevidence_get_reports - List the printable reports available for an evidenceevidence_get_relations_list - List the sub-evidences (relations) available for an evidenceevidence_get_sum - Get summation (totals) for an evidenceevidence_get_record_changes - Get a single record's change historyevidence_get_labels - Get labels assigned to a recordevidence_set_label - Add a labelevidence_unset_label - Remove specific label(s)evidence_unset_labels - Remove all labelschanges_enable / changes_disable - Toggle change trackingchanges_status - Check whether change tracking is enabledchanges_get - Page through recorded changes since a given versionpip install abraflexi-mcp-server
Then run the server:
abraflexi-mcp
Download the self-contained AppImage from the latest release:
chmod +x AbraFlexi-MCP-Server-*-x86_64.AppImage
./AbraFlexi-MCP-Server-*-x86_64.AppImage
No Python or pip required. See AppImage section for details.
git clone https://github.com/VitexSoftware/abraflexi-mcp-server.git
cd abraflexi-mcp-server
uv sync
uv run python scripts/start_server.py
Or with pip:
pip install -e .
abraflexi-mcp
A testing deployment is available at:
🌐 https://abraflexi.fastmcp.app/mcp
This cloud-hosted instance allows you to test and use the AbraFlexi MCP server without local installation. Configure your MCP client to connect to this endpoint with HTTP transport.
Note: This is a testing deployment. For production use, we recommend self-hosting using one of the installation methods above.
Create a .env file or set environment variables:
cp .env.example .env
ABRAFLEXI_URL - Your AbraFlexi server URL (e.g., https://demo.flexibee.eu:5434)ABRAFLEXI_COMPANY - Company identifier (e.g., demo_de)Method 1: Username/Password (Recommended)
ABRAFLEXI_LOGIN - Your AbraFlexi usernameABRAFLEXI_PASSWORD - Your AbraFlexi passwordMethod 2: Session ID
ABRAFLEXI_AUTHSESSID - Your AbraFlexi session IDREAD_ONLY - Set to true, 1, or yes to enable read-only mode (default: true)ABRAFLEXI_TIMEOUT - Request timeout in seconds (default: 300)ABRAFLEXI_MCP_TRANSPORT - Transport type: stdio (default) or streamable-httpHTTP Transport Configuration (only used when ABRAFLEXI_MCP_TRANSPORT=streamable-http):
ABRAFLEXI_MCP_HOST - Server host (default: 127.0.0.1)ABRAFLEXI_MCP_PORT - Server port (default: 8000)ABRAFLEXI_MCP_STATELESS_HTTP - Stateless mode (default: false)AUTH_TYPE - Must be set to no-auth for streamable-http transportWith startup script (recommended):
uv run python scripts/start_server.py
Direct execution:
uv run python -m abraflexi_mcp_server.server
CLI help:
abraflexi-mcp --help
The server supports two transport methods:
Standard input/output transport for MCP clients like Claude Desktop:
# Set in .env or environment
ABRAFLEXI_MCP_TRANSPORT=stdio
HTTP-based transport for web integrations:
# Set in .env or environment
ABRAFLEXI_MCP_TRANSPORT=streamable-http ABRAFLEXI_MCP_HOST=127.0.0.1 ABRAFLEXI_MCP_PORT=8000 ABRAFLEXI_MCP_STATELESS_HTTP=false AUTH_TYPE=no-auth
Run test suite:
uv run python scripts/test_server.py
When READ_ONLY=true (default), the server will only expose GET operations (retrieve data) and block all create, update, and delete operations. This is useful for:
To enable write operations, set READ_ONLY=false in your .env file.
Get all issued invoices:
invoice_issued_get(limit=10)
Get specific invoice by code:
invoice_issued_get(kod="INV-2024-001")
Count invoices issued in August 2026 (without downloading full records):
invoice_issued_get(
datum_vystaveni_od="2026-08-01", datum_vystaveni_do="2026-08-31", detail="id", add_row_count=True )
Create a new contact:
contact_create(
kod="CUSTOMER01", nazev="Example Company s.r.o.", email="info@example.com", tel="+420123456789" )
Get products:
product_get(nazev="Widget", limit=5)
Generic evidence query (with pagination/sorting):
evidence_get(
evidence="faktura-vydana", filter_expr="datVyst >= '2024-01-01'", order="datVyst", order_direction="D", limit=20, start=0 )
Only the beginning is shown; read the rest in the repo