MCP Server Directory

Execute coq-proof-assistant-mcp io.github.Evozim/coq-proof-assistant-mcp

Premium agentic endpoint for coq-proof-assistant-mcp.

Local SQL workspaces with bounded, recoverable writes for coding agents.

DETRAN AL: Licenciamento io.github.mcp-dir/detran_al_licenciamento-mcp

DETRAN AL: Vehicle Licensing, official-source lookup. Platform-hosted, pay per query with prepaid cr

Tiflux io.github.mcp-dir/tiflux-mcp

Wrapper for the official Tiflux API v2 (help desk and service desk): tickets with replies to the req

Execute adversarial-suffix-mcp io.github.Evozim/adversarial-suffix-mcp

Premium agentic endpoint for adversarial-suffix-mcp.

Garantia Safra io.github.mcp-dir/garantia_safra-mcp

Checks a farmer's link with the Garantia Safra program from the CPF and NIS. Platform-hosted, no cre

OFAC (Sanções EUA) io.github.mcp-dir/ofac-mcp

Checks whether a name is on OFAC (US) sanctions lists, including SDN and Non-SDN, for compliance and

ehliyet-digital io.github.merlhn/ehliyet-digital

Türkiye ehliyet sınavı hazırlık: 200 çıkmış soru, 76 hap bilgi, 43 ders özeti, deneme sınavı.

Execute coral-tpu-delegate-mcp io.github.Evozim/coral-tpu-delegate-mcp

Premium agentic endpoint for coral-tpu-delegate-mcp.

DETRAN AM: Licenciamento Anual io.github.mcp-dir/detran_am_licenciamento_anual-mcp

DETRAN AM: Vehicle Licensing Anual, official-source lookup. Platform-hosted, pay per query with prep

Execute cold-vault-migrator-mcp io.github.Evozim/cold-vault-migrator-mcp

Premium agentic endpoint for cold-vault-migrator-mcp.

FramingUI design-system tools for coding agents: validate screens, check wiring, browse the catalog.

Execute 3d-meshweaver-mcp io.github.Evozim/3d-meshweaver-mcp

Premium agentic endpoint for 3d-meshweaver-mcp.

MCP server for ThreatLocker — zero-trust endpoint protection, allowlisting, and policies.

CVM Processos Sancionadores io.github.mcp-dir/cvm_processos_sancionadores-mcp

Looks up enforcement (sanctioning) administrative proceedings for a person or company at the CVM fro

DETRAN MS Guia Flex: Multas io.github.mcp-dir/detran_ms_multas_flex-mcp

DETRAN MS Guia Flex: Multas, official-source lookup. Platform-hosted, pay per query with prepaid cre

ANVISA: Funcionamento de Empresa Nacional io.github.mcp-dir/anvisa_empresas-mcp

ANVISA: Funcionamento de Empresa Nacional, official-source lookup. Platform-hosted, pay per query wi

Read-first MCP server for Twilio Segment: routing, stale sources, delivery health, governance.

MCP server exposing Polypack as persistent adaptive memory

Execute commodity-futures-oracle-mcp io.github.Evozim/commodity-futures-oracle-mcp

Premium agentic endpoint for commodity-futures-oracle-mcp.

Execute cobot-safety-zone-mcp io.github.Evozim/cobot-safety-zone-mcp

Premium agentic endpoint for cobot-safety-zone-mcp.

spreadsheet-builder io.github.theluckystrike/spreadsheet-builder

Open, inspect, filter, edit and convert xlsx and csv files from your AI chat. Processing is local.

split-pdf io.github.theluckystrike/split-pdf

Merge, split, extract, rotate, reorder and stamp PDF pages from your AI chat, all offline.

categorize-transactions io.github.theluckystrike/categorize-transactions

Import a bank CSV, categorise it, summarise it per currency and reconcile it against your expenses.