An MCP server that transforms text into knowledge graphs and autonomously generates insights by combining Montague Grammar with Zettelkasten methodology.
An MCP server that enhances sequential thinking with meta-cognitive capabilities including confidence tracking, hypothesis testing, and organized memory storage through graph-based libraries and structured JSON documents.
A meta-MCP server that helps users create new MCP servers through AI guidance, templates, and streamlined workflows, transforming ideas into production-ready implementations with minimal effort.
Enables AI assistants to use Neo4j knowledge graphs and Qdrant vector databases for hybrid reasoning, combining structured facts with semantic search for advanced knowledge management, research analysis, and standardized coding workflows.
MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
A Model Context Protocol server that encodes text, PDFs, and other content into video memory format, enabling efficient semantic search and chat interactions with the encoded knowledge base.