MCP Server Directory

TOTVS Protheus io.github.mcp-dir/protheus-mcp

TOTVS Protheus ERP for AI: stock, sales, orders, customers and MRP. Read-only, official API.

mcpcheck io.github.joeyough/mcpcheck

Scan any MCP server for tool-poisoning, security, auth & license. Trust score before install.

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

Force evidence-gated, tiered claim reporting (FACT/INFERENCE/SPECULATION). No-LLM.

Read-only search and navigation of Sparx Enterprise Architect .qea model exports

grith-mcp io.github.dario933/grith-mcp

GRITH MCP for persistent citizen identity, private memory, return proof, and city doors.

SEFAZ CE: IPVA io.github.mcp-dir/sefaz_ce_ipva-mcp

SEFAZ CE: IPVA, official-source lookup. Platform-hosted, pay per query with prepaid credit.

InkSeal net.inkseal/inkseal

Send documents for signature: upload, place fields, draft, and send once a human agrees.

Prefeitura RJ Rio de Janeiro: Certidão Tributária de IPTU io.github.mcp-dir/pref_rj_rio_janeiro_cert_trib-mcp

Prefeitura RJ Rio de Janeiro: Certificate Tributária de IPTU, official-source lookup. Platform-hoste

Local browser automation for MCP clients powered by DrissionPage.

Citation Check io.github.SecondStageTurbine/citation-check

Does a cited URL exist, and does the source name what your claim names? Two answers.

Prefeitura SP Jundiaí: Certidão Tributária de IPTU io.github.mcp-dir/pref_sp_jundiai_cert_trib_iptu-mcp

Prefeitura SP Jundiaí: Certificate Tributária de IPTU, official-source lookup. Platform-hosted, pay

Exploit-DB New Exploits & Proof-of-Concepts — buy per-query in-session (exploitdb) com.a2awire/data-exploit-db-exploit-database-proof-of-concept

Exploit-DB: new public exploits & PoCs, daily. Register in-session — free testnet funds.

ECRVSP ATPV (Intenção de Venda): Consultar io.github.mcp-dir/ecrvsp_atpv_consultar-mcp

ECRVSP ATPV (Intenção de Venda): Lookupr, official-source lookup. Platform-hosted, pay per query wit

Wizideo ai.wizideo/wizideo

Search meeting transcripts, summaries and topics, and create follow-up tasks in Wizideo.

SAP S/4HANA and ECC: OData V2/V4, IDoc and RFC/BAPI for n8n and other MCP clients

Antecedentes Criminais: SP io.github.mcp-dir/antecedentes_criminais_sp-mcp

Antecedentes Criminais: SP, official-source lookup. Platform-hosted, pay per query with prepaid cred

Prefeitura SP São Paulo: Certidão Tributária de IPTU io.github.mcp-dir/pref_sp_sao_paulo_iptu-mcp

Prefeitura SP São Paulo: Certificate Tributária de IPTU, official-source lookup. Platform-hosted, pa

Prefeitura AP Macapá: Certidão Negativa de Débitos io.github.mcp-dir/pref_ap_macapa_cnd-mcp

Prefeitura AP Macapá: Clearance Certificate (Debts), official-source lookup. Platform-hosted, pay pe

Tribunal TRT24: Certidão Eletrônica de Ações Trabalhistas (CEAT) io.github.mcp-dir/tribunal_trt24_ceat-mcp

Tribunal TRT24: Certificate Eletrônica de Ações Trabalhistas (CEAT), official-source lookup. Platfor

Protocol- & auth-agnostic API connector: SOAP/REST behind any auth, config-driven. Lib/API/MCP.

Tribunal TRT23: Certidão Eletrônica de Ações Trabalhistas (CEAT) io.github.mcp-dir/tribunal_trt23_ceat-mcp

Tribunal TRT23: Certificate Eletrônica de Ações Trabalhistas (CEAT), official-source lookup. Platfor

Make production-ready static maps. Every map is a URL you can embed anywhere.

Alchemist Cloud Tickets ai.chipp/alchemist-cloud-tickets

Dispatch and track Alchemist Cloud tickets, watch deploys, read logs, and query your project DB.