MCP Server Directory

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

SocialDataX B站 Bilibili MCP com.52choujiang/bilibili-insights

Bilibili public video, article, dynamic, creator, comments, reactions, and transcript tools.

MPT MT: Certidão Negativa de Feitos io.github.mcp-dir/mpt_mt_cnf-mcp

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

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

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

Grundfast — Danish property & geodata dk.grundfast/danish-address-property-data

Danish address & property lookup: BBR, Matriklen, DAR, CVR. A DAWA/Datafordeler-compatible source.

mcpcheck io.github.joeyough/mcpcheck

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

MotiBlog ai.motiblog/mcp

Agent-first SEO research and publishing: competitors, SERPs, internal links, and Search Console.

MPT PB: Certidão Negativa de Feitos io.github.mcp-dir/mpt_pb_cnf-mcp

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

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

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

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

Agent memory MCP server with 4-type cognitive memory, hybrid search, and TTL-based forgetting.

LatLong Maps ai.latlong/map-mcp

Turn CSV or Excel data into styled choropleth and categorical maps of India from plain language.

zdte.ai SPX Market Structure ai.zdte/market-structure

SPX 0DTE dealer market structure: GEX, walls, gamma flip, regime, flow. Free preview; pay per read.

visa-requirements com.jojapi/visa-requirements

Visa Requirements: Most up-to-date visa requirements with color-coded status indicators covers 200.

Tribunal TRT4: Consulta Processual io.github.mcp-dir/tribunal_trt4_processo-mcp

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

Autonomous MCP Agent OS: multi-graph memory, Tasks, Skills, A2A, attestation, OpenTelemetry.

Bizzy Radio fm.bizzy/radio

Find Bizzy radio stations, read station cards and public author information. Read-only; no playback.

Receita Federal: Simples (DASN SIMEI) io.github.mcp-dir/receita_federal_simples_dasn-mcp

Receita Federal: Simples (DASN SIMEI), official-source lookup. Platform-hosted, pay per query with p

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

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

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

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

MCPFax Agent Continuity com.mcpscores/agent-continuity

Resume the work, not the conversation. A checkpoint by one model is resumable by another.

Receita Federal Sistema de Acréscimos Legais (SAL): Dados Cadastrais io.github.mcp-dir/receita_federal_sal_cadastro-mcp

Receita Federal Sistema de Acréscimos Legais (SAL): Dados Cadastrais, official-source lookup. Platfo

Conselho Regional de Odontologia RJ: Cadastro io.github.mcp-dir/cro_rj_cadastro-mcp

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

Prefeitura SP São Paulo: NFS-e (Nota Fiscal Eletrônica de Serviços) io.github.mcp-dir/pref_sp_sao_paulo_nfs-mcp

Prefeitura SP São Paulo: NFS-e (Nota Fiscal Eletrônica de Serviços), official-source lookup. Platfor