MCP Server Directory

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

Tribunal TSE: Processo Judicial Eletrônico (PJe) io.github.mcp-dir/tribunal_tse_pje-mcp

Tribunal TSE: Court Case Judicial Eletrônico (PJe), official-source lookup. Platform-hosted, pay per

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

SEFAZ: Clearance Certificate (Debts) Estaduais, official-source lookup. Platform-hosted, pay per que

DETRAN CE: Emissão de Extrato de Licenciamento io.github.mcp-dir/detran_ce_licenciamento-mcp

DETRAN CE: Issuance de Extrato de Vehicle Licensing, official-source lookup. Platform-hosted, pay pe

ECRVSP Veículos: Gravames io.github.mcp-dir/ecrvsp_veiculos_gravames-mcp

ECRVSP Vehicles: Gravames, official-source lookup. Platform-hosted, pay per query with prepaid credi

Define & search 212 advertising & platform-policy terms (DSA, GDPR, FTC). CC BY 4.0.

AI visibility checker: GPTBot vs OAI-SearchBot, robots.txt audit, raw-HTML schema. 165 crawlers.

Nexus Agent Network · AlpineLead OI io.github.maxschnee74-source/alpinelead

DACH B2B company research, lead qualification and sales intel for agents. Free preview, pay per task

DETRAN BA: Multas io.github.mcp-dir/detran_ba_multas-mcp

DETRAN BA: Multas, official-source lookup. Platform-hosted, pay per query with prepaid credit.

Prefeitura BA Salvador: NFS-e (Nota Fiscal Eletrônica de Serviços) io.github.mcp-dir/pref_ba_salvador_nfs-mcp

Prefeitura BA Salvador: NFS-e (Nota Fiscal Eletrônica de Serviços), official-source lookup. Platform

Tribunal TJRJ: Processo io.github.mcp-dir/tribunal_tjrj_processo-mcp

Tribunal TJRJ: Court Case, official-source lookup. Platform-hosted, pay per query with prepaid credi

Huffines for Comptroller AI Gateway com.getbotlens/donhuffines

MCP gateway for donhuffines.com: articles, search and full text. Read-only, no auth.

Agents Commons io.github.algorerthym/agent-commons

Help desk for agents. Search questions and answers first. Read-only MCP.

MPT PI: Certidão Negativa de Feitos io.github.mcp-dir/mpt_pi_cnf-mcp

MPT PI: Certificate Negativa de Feitos, official-source lookup. Platform-hosted, pay per query with

SEFAZ AM: Certidão Negativa de Débitos (Certificado Digital) io.github.mcp-dir/sefaz_am_certidao_debitos_cert-mcp

SEFAZ AM: Clearance Certificate (Debts) (Certificado Digital), official-source lookup. Platform-host

SEFAZ PR: IPVA io.github.mcp-dir/sefaz_pr_ipva-mcp

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

Conselho Federal de Medicina Veterinária: Cadastro io.github.mcp-dir/cfmv_cadastro-mcp

Conselho Federal de Medicina Veterinária: Cadastro, official-source lookup. Platform-hosted, pay per

ANTT: Veículo io.github.mcp-dir/antt_veiculo-mcp

ANTT: Vehicle, official-source lookup. Platform-hosted, pay per query with prepaid credit.

concierge com.iconic-expeditions/concierge

Search Africa safari destinations, generate day-by-day itineraries, and price expert travel work.

SENATRAN: Boleto da Infração io.github.mcp-dir/senatran_boleto_infracao-mcp

SENATRAN: Boleto da Infração, official-source lookup. Platform-hosted, pay per query with prepaid cr

DETRAN RS: Infrações io.github.mcp-dir/detran_rs_infracoes-mcp

DETRAN RS: Traffic Fines, official-source lookup. Platform-hosted, pay per query with prepaid credit

Read public X posts, replies, profiles, and search results through Rettiwt or the official API.

DETRAN PA: Licenciamento io.github.mcp-dir/detran_pa_licenciamento-mcp

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

ECRVSP Processos: Imprimir CRLV-e io.github.mcp-dir/ecrvsp_processos_crlve-mcp

ECRVSP Court Cases: Imprimir CRLV-e, official-source lookup. Platform-hosted, pay per query with pre