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.

Search the Couchbase documentation from your MCP client via a hosted documentation agent.

SEFAZ RO: IPVA io.github.mcp-dir/sefaz_ro_ipva-mcp

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

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

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

DETRAN SP: Autenticidade de Certidão io.github.mcp-dir/detran_sp_autenticidade-mcp

DETRAN SP: Autenticidade de Certificate, official-source lookup. Platform-hosted, pay per query with

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

Tribunal TSE: Título Eleitoral io.github.mcp-dir/tribunal_tse_titulo-mcp

Tribunal TSE: Título Eleitoral, official-source lookup. Platform-hosted, pay per query with prepaid

Prefeitura GO Firminópolis: Certidão Negativa de Débitos io.github.mcp-dir/pref_go_firminopolis_cnd-mcp

Prefeitura GO Firminópolis: Clearance Certificate (Debts), official-source lookup. Platform-hosted,

ECRVSP Estampagem: Autorização io.github.mcp-dir/ecrvsp_estampagem_autorizacao-mcp

ECRVSP Estampagem: Autorização, official-source lookup. Platform-hosted, pay per query with prepaid

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

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

marketplace com.jojapi/marketplace

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

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

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

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

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

Light: Download io.github.mcp-dir/contas_light_download-mcp

Light: Download, official-source lookup. Platform-hosted, pay per query with prepaid credit.

SEFAZ DF: ISS io.github.mcp-dir/sefaz_df_iss-mcp

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

Hire humans for digital microtasks, research, QA, data evaluation, and physical-world tasks.

Prefeitura MG Luz: Certidão Negativa de Débitos io.github.mcp-dir/pref_mg_luz_cnd-mcp

Prefeitura MG Luz: Clearance Certificate (Debts), official-source lookup. Platform-hosted, pay per q

SEFAZ PB: NFC-e io.github.mcp-dir/sefaz_pb_nfce-mcp

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

mcp hk.himarket/mcp

Hong Kong TCG marketplace (MTG + Riftbound): search cards, read live prices, manage your listings.

MPT SP Campinas: Certidão Negativa de Feitos io.github.mcp-dir/mpt_sp_campinas_cnf-mcp

MPT SP Campinas: Certificate Negativa de Feitos, official-source lookup. Platform-hosted, pay per qu

Your agent seeks what search can't find. A self-hosted perception MCP server.