List of Top MCP Servers for January 26, 2026
Daily list of newly discovered awesome MCP servers. Explore the best Model Context Protocol servers ranked by GitHub stars.
Check Point Servers
Exposes Check Point security platform data through a collection of Model Context Protocol servers for AI-powered automation and decision engines.
Nexus
Facilitates AI-driven analysis of Windows crash dumps by providing structured access to Microsoft debugging tools through the Model Context Protocol.
Wormhole
Provides a shared memory layer to keep AI coding agents synchronized across different tools and tasks, ensuring no context is lost during collaborative development.
FOL Prover
Provides a Model Context Protocol server for first-order logic theorem proving, leveraging external provers like Vampire, E, and Prover9, alongside a built-in prover.
Clingo
Integrates Clingo's Answer Set Programming (ASP) solver with Model Context Protocol (MCP) to power neurosymbolic AI applications.
Z3 SMT
Exposes Z3/SMT solver capabilities for constraint solving, logical reasoning, and satisfiability checking via a Model Context Protocol (MCP) server.
Roger
Generates AI-powered, tailored LaTeX resumes and cover letters based on specific job descriptions.
Agent Memory
Provides AI agents with high-performance, self-evolving long-term memory and knowledge management capabilities.
UnrealClaude Bridge
Integrates AI assistants with the Unreal Engine 5 editor through the Model Context Protocol.
Pomera
Clean, transform, extract, and analyze text rapidly through a desktop GUI or programmatically via AI assistants.