MCP Servers 3,410

Lingua Universale MCP Server

io.github.rafapra3008/lu-mcp-server

A✓Verified

Verify AI agent communication with session types and formal proofs

QuantContext

io.github.zomma-dev/quantcontext

B✓Verified

Deterministic stock screening, backtesting, and factor analysis for AI trading agents

An MCP server that provides interaction with StackHawk's security scanning platform.

BLEA

io.github.Nitmi/blea

A✓Verified

Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.

SignNow Api Helper MCP

io.github.signnow/sn-api-helper-mcp

C✓Verified

MCP server for SignNow API helper tools (stdio only).

Mnemo

io.github.n24q02m/mnemo-mcp

A✓Verified

Persistent AI memory with hybrid search and embedded sync.

Token Compressor

io.github.base76-research-lab/token-compressor

C✓Verified

Compress prompts 40-60% using local LLM + embedding validation.

Kicad Server

io.github.bunnyf/kicad-mcp-server

C✓Verified

MCP server for AI-assisted PCB design with KiCad 9.x

Bawbel Scanner

io.github.bawbel/scanner

B✓Verified

Security scanner for MCP servers and skill files.

Exomem

io.github.Artexis10/exomem

A✓Verified

Local Markdown/Obsidian knowledge substrate for MCP agents with governed memory and hybrid search.

Hive Vault

io.github.mlorentedev/hive-vault

A✓Verified

On-demand Obsidian vault access for AI coding assistants — 17 tools, 5 resources, 4 prompts.

OpenWorkProof

io.github.dengyier/OpenWorkProof

A✓Verified

Verifiable execution for AI agents: Ed25519-signed work contracts and audit trails.

Greenlake Audit Logs

io.github.HewlettPackard/greenlake-audit-logs-mcp

C✓Verified

HPE GreenLake audit-logs MCP Server

Greenlake Reporting

io.github.HewlettPackard/greenlake-reporting-mcp

C✓Verified

HPE GreenLake reporting MCP Server

FTX MCP — FactoryTalk Optix MCP Server

io.github.asqi-carter/ftx-mcp

B✓Verified

MCP server for FactoryTalk Optix: author, preview, and verify Studio changes via the emulator.

MCP Safety Warden

io.github.gautamvarmadatla/mcpsafetywarden

B✓Verified

MCP proxy adding security scanning, behavioral profiling, risk gating, and safe tool call execution.

Greenlake Users

io.github.HewlettPackard/greenlake-users-mcp

C✓Verified

HPE GreenLake users MCP Server

Greenlake Service Catalog

io.github.HewlettPackard/greenlake-service-catalog-mcp

B✓Verified

HPE GreenLake service-catalog MCP Server

SchemaBrain

io.github.Arun-kc/schemabrain

A✓Verified

The trust and intelligence layer between AI agents and your database.

ui-ticket-mcp

io.github.0ics-srls/ui-ticket-mcp

B✓Verified

Human-to-AI code review bridge.

Trentina

io.github.crunchtools/trentina

A✓Verified

Secure MCP gateway and quarantine for AI agent traffic — three-layer prompt injection defense

Docvet

io.github.Alberto-Codes/docvet

A✓Verified

Docstring quality vetting for Python -- enrichment, freshness, coverage, and presence checks

Mcpg

io.github.devopam/mcpg

A✓Verified

Production-grade PostgreSQL MCP server — 254 tools for query, tuning & ops, read-only by default.

Motor Current Signature Analysis

io.github.LGDiMaggio/mcp-server-mcsa

B✓Verified

MCP server for Motor Current Signature Analysis — fault detection in electric motors