MCP Server Directory

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

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

x402 HTTP 402 + MCP paywall: charge USDC per agent call. Self-host via npx or Docker.

Bounded, source-write-free Rust correctness tools grounded in Cargo and rustc output.

Execute corporate-tax-jurisdiction-mcp io.github.Evozim/corporate-tax-jurisdiction-mcp

Premium agentic endpoint for corporate-tax-jurisdiction-mcp.

SEFAZ SC: NFC-e io.github.mcp-dir/sefaz_sc_nfce-mcp

SEFAZ SC: NFC-e, official-source lookup. Platform-hosted, pay per query with prepaid credit.

Purchase orders for suppliers: VAT line items, a delivery date, an A4 PDF, mark received.

Cadastro PJ Plus io.github.mcp-dir/cnpj_cadastral_plus-mcp

Extended registration data for a company from a CNPJ, beyond the basics. Platform-hosted, no credent

framework-mcp io.github.81labsapps-ops/framework-mcp

Verified, version-pinned answers about fast-moving frameworks for coding agents.

dokimo-mcp io.github.ypratap11/dokimo-mcp

Verify AI-agent revenue: recompute a Merkle proof and check it against an on-chain anchor.

Read-only MCP server for Kaseya Quote Manager (Datto Commerce): quotes, orders, purchasing.

Execute corporate-treasury-multisig-mcp io.github.Evozim/corporate-treasury-multisig-mcp

Premium agentic endpoint for corporate-treasury-multisig-mcp.

SEFAZ MA: Certidão Negativa de Débitos io.github.mcp-dir/sefaz_ma_certidao_debitos-mcp

SEFAZ MA: Clearance Certificate (Debts), official-source lookup. Platform-hosted, pay per query with

CGU (Controladoria Geral da União) io.github.mcp-dir/cgu-mcp

Looks up records of a person or company at the Federal Comptroller General (CGU) from the CPF or CNP

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

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

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

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

Solo journaling RPG — Claude runs The Fortuneteller's Hand, reading cards and casting Omens.

MCP server for Ironscales phishing incident management — incidents, mailboxes, and reporting.

LicenseGate io.github.Computersmarts1/licensegate

Open-source licence risk checks for AI coding agents and dependency trees.

Local-first public-data MCP server that writes inspectable records and working files.

MCP server for Kaseya VSA RMM — agents, patches, procedures, alarms, tickets.

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

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

AlphaKey IDaaS MCP Server — Manage SSO, MFA, users, apps, and security policies through AI IDE

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ı.

Prefeitura PB Campina Grande: Multas io.github.mcp-dir/pref_pb_campina_grande_multas-mcp

Prefeitura PB Campina Grande: Multas, official-source lookup. Platform-hosted, pay per query with pr