MCP Server Directory

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

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

Frasma io.github.francemazzi/frasma

Read-only Frasma MCP: profile, knowledge search, diagnostic handoff. No email.

google-search com.jojapi/google-search

google search: google web search api, web, images, videos, news, music, favicon, proxy, audio.

SEFAZ PI: Solicitar Certidão Negativa de Débitos io.github.mcp-dir/sefaz_pi_certidao_debitos-mcp

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

Conselho Regional de Odontologia AC: Cadastro io.github.mcp-dir/cro_ac_cadastro-mcp

Conselho Regional de Odontologia AC: Cadastro, official-source lookup. Platform-hosted, pay per quer

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 MG: Consulta Parcelamento io.github.mcp-dir/sefaz_mg_parcelamento-mcp

SEFAZ MG: Lookup Parcelamento, official-source lookup. Platform-hosted, pay per query with prepaid c

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

Tribunal TJSP: Lista de Processos (eproc) io.github.mcp-dir/tribunal_tjsp_eproc_lista-mcp

Tribunal TJSP: Lista de Court Cases (eproc), official-source lookup. Platform-hosted, pay per query

Upsalt Booking io.github.Everyways/upsalt-booking

Search Upsalt venues, check availability, and book, view, or cancel a reservation.

DETRAN BA: Licenciamento io.github.mcp-dir/detran_ba_licenciamento-mcp

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

Polícia Rodoviária Federal: Débitos io.github.mcp-dir/prf_debitos-mcp

Polícia Rodoviária Federal: Debts, official-source lookup. Platform-hosted, pay per query with prepa

INMETRO: Cronotacógrafo (Detalhes) io.github.mcp-dir/inmetro_cronotacografo_cert-mcp

INMETRO: Cronotacógrafo (Detalhes), official-source lookup. Platform-hosted, pay per query with prep

Bombeiros RJ: Taxa de Incêndio io.github.mcp-dir/bombeiros_rj_taxa_incendio-mcp

Bombeiros RJ: Taxa de Incêndio, official-source lookup. Platform-hosted, pay per query with prepaid

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.

Tribunal TRT17: Consulta Processual io.github.mcp-dir/tribunal_trt17_processo-mcp

Tribunal TRT17: Lookup Processual, official-source lookup. Platform-hosted, pay per query with prepa

Huffines for Comptroller AI Gateway com.getbotlens/donhuffines

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

Prefeitura PB João Pessoa: Multas io.github.mcp-dir/pref_pb_joao_pessoa_multas-mcp

Prefeitura PB João Pessoa: Multas, official-source lookup. Platform-hosted, pay per query with prepa

marketplace com.jojapi/marketplace

Search the JoJ API marketplace, read endpoint docs, and call any API with one key via one gateway.

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

SENATRAN: Recall io.github.mcp-dir/senatran_recall-mcp

SENATRAN: Recall, official-source lookup. Platform-hosted, pay per query with prepaid credit.

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

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

JUCESP: Busca de NIRE (pesquisa avançada) io.github.mcp-dir/jucesp_nire-mcp

Advanced company search at JUCESP by name, purpose, capital and address, returning the NIRE. Platfor