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.