A
license-
qualityD
maintenanceProvides Prolog logic programming integration for Claude via a Docker SWISH container, with persistent notebooks and cognitive architecture support.
MIT
72,442 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
dev.reapx
io.github.UnbearableDev
com.x402-list
io.github.pipeworx-io
"List of Servers Running as Docker Containers" matching MCP servers:
- Flicense-qualityDmaintenanceEnables semantic search over local knowledge bases like Obsidian notes, SQLite, and plaintext files, exposing results to Claude via MCP server.
- AlicenseAqualityDmaintenanceAn MCP server for managing contextual data as markdown files with metadata, enabling agents to save, retrieve, search, and delete contexts using simple CRUD operations.5Apache 2.0
- AlicenseBqualityFmaintenanceAoT MCP server enables AI models to solve complex reasoning problems by decomposing them into independent, reusable atomic units of thought, featuring a powerful decomposition-contraction mechanism that allows for deep exploration of problem spaces while maintaining high confidence in conclusions.361MIT
- Alicense-qualityDmaintenanceEnables sophisticated reasoning workflows using graph-based representations for AI models.11Apache 2.0
- Alicense-qualityDmaintenanceA scientific reasoning framework that leverages graph structures and the Model Context Protocol (MCP) to process complex scientific queries through an Advanced Scientific Reasoning Graph-of-Thoughts (ASR-GoT) approach.31MIT
- Alicense-qualityBmaintenanceA read-only MCP server that lets AI agents search and retrieve the Wheel of Heaven corpus, including source-grounded facts, interpretations, and comparative traditions, all with full epistemic metadata.99Creative Commons Zero v1.0 Universal
- Alicense-qualityAmaintenancePersistent AI memory server with 3-layer hybrid search (vector + FTS5 + keyword), confidence scoring via Reciprocal Rank Fusion, episodic/profile memory, and 16 tools. Zero LLM dependency. Works standalone with Claude Desktop and Claude Code. MIT licensed.3Business Source 1.1
- MIT
- Alicense-qualityCmaintenanceThis lets you use Claude Desktop, or any MCP Client, to use natural language to accomplish things with Neo4j and your Aura account.979MIT
- Flicense-qualityDmaintenanceEnables context capture and reinforcement learning by recording successful work patterns and creating reasoning chains for cross-conversation continuity. Automatically captures positive feedback through Claude Code hooks to build reusable success patterns.
- FlicenseAqualityCmaintenanceA small Model Context Protocol (MCP) server that gives an AI a personal notes/todo store. Built for learning.5
- AlicenseAqualityDmaintenanceRefines development prompts and stores semantic memory to save tokens in complex Antigravity tasks, enabling token savings and enriched context.26Apache 2.0
- Alicense-qualityDmaintenanceAn MCP server that provides AI assistants with full access to Notion workspaces, enabling search, read, create, and update pages, databases, and blocks.7MIT
- Alicense-qualityBmaintenanceTransforms Claude into a persistent intelligence layer with automatic checkpointing, crash recovery, semantic memory, and cross-project learning. It provides 128+ tools for session management, adversarial testing, and browser automation to eliminate state loss and context rebuild costs.52MIT
- Flicense-qualityCmaintenanceProvides session persistence, crash recovery, decision tracking, and context compression for AI assistants, enabling seamless multi-session continuity.
- AlicenseAqualityBmaintenanceRabbithole provides an infinite canvas for learning by allowing users to open documents, select text, ask questions, and receive answers that open as child documents, all running locally via an MCP server.4155300MIT
- FlicenseAqualityCmaintenanceEnables users to visualize the impact of edits in internal documents and emails by structuring content as a graph and tracing dependency chains.3
- FlicenseAqualityCmaintenancePublic, agent-searchable knowledge base about AI-native software development, served as an MCP server with tools to search, read, and list topics.3
- AlicenseAqualityBmaintenanceFeynman's twelve-problems method as an MCP server — a persistent set of long-running problems plus an evoke loop that tests each new trick against all of them. Local, TypeScript, no LLM inside, no API key.6258Apache 2.0
