"An overview of Docker and related information" matching MCP servers:

Provides Prolog logic programming integration for Claude via a Docker SWISH container, with persistent notebooks and cognitive architecture support.

Enables semantic search over local knowledge bases like Obsidian notes, SQLite, and plaintext files, exposing results to Claude via MCP server.

A 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.

An MCP server for managing contextual data as markdown files with metadata, enabling agents to save, retrieve, search, and delete contexts using simple CRUD operations.

AoT 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.

Enables sophisticated reasoning workflows using graph-based representations for AI models.

Enables precise measurement of live HTTP and WebSocket services while maintaining an append-only, evidence-based ledger of claims that agents can query with explicit timestamps, staleness indicators, and instructions for re-verification.

A 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.

Enables AI coding agents to retain and recall project context across sessions through local Markdown storage and hybrid keyword/semantic retrieval, including reusable knowledge cards. It runs offline as a daemon and integrates with MCP-compatible IDEs to continue long-running work without re-explaining decisions or architecture.

Enables insurance claims review assistance by querying a knowledge graph of Korean standard insurance terms, restoring applicable policy versions by enrollment date, and returning coverage/exclusion determinations with cited provisions.

This MCP server enables AI agents to manage artifacts across sessions by providing tools for searching, retrieving, and registering entries in a persistent ledger, ensuring consistency and traceability of agent outputs.

Enables a simulated Alexa+ care companion to capture daily check-ins, recall longitudinal care-journal history, assess risk, create local family-inbox cards, schedule follow-ups, and produce weekly digests through MCP tools.

Enables 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.

Enables AI agents to store and retrieve project context, bugs, decisions, and session logs by reading and appending markdown files in a local Obsidian vault, without requiring any cloud services.

Enables Claude and ChatGPT to share a single study-progress database for interview prep, coursework, and spaced repetition, with per-user data isolation and server-side SM-2 scheduling for due reviews and study plans.

MCP server for Ultrathink: save and search your knowledge base from Claude Desktop, Claude Code, and any MCP client.

Provenance tree for work: every node knows which node it was born from

Enables researchers to turn property-history questions into reviewable evidence dossiers by gathering sources, tracing people and places, linking conclusions to supporting or opposing passages, and exporting portable backups.

TheWeave is a markdown-native memory architecture for Claude and any MCP-aware agent. Your agent's memory lives as plain .md files you own: a 5-verb MCP core over the vault, query-driven PageRank retrieval, bi-temporal facts (valid_from / valid_until), and a persona-as-vault model. No database and no embeddings server. The files are the memory, inspectable in your editor and versionable in git.

Enables local MCP clients to list, read, write, and search notes in an Obsidian vault via an HTTP server running inside Obsidian.

Transforms 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.

Provides persistent local memory of Claude Code sessions with TODO management and searchable activity logs via MCP tools.

Provides session persistence, crash recovery, decision tracking, and context compression for AI assistants, enabling seamless multi-session continuity.

Engram is a local-first memory server that lets AI agents remember things across sessions with zero cloud dependencies.

An improved implementation of persistent memory using a local knowledge graph with a customizable --memory-path. This lets Claude remember information about the user across chats.

Enables users to access, search, and get recommendations from AWS documentation through natural language queries. Supports both global AWS documentation and AWS China documentation with tools to fetch pages, search content, and discover related resources.

AutoMem MCP provides persistent memory for AI assistants, enabling them to recall information across conversations and platforms with graph-vector retrieval.

Provides MCP tools to read, write, append, and edit prose sections of nodes, backed by an in-memory or substrate-direct (Urania) backend.

An MCP server that lets Claude Code recall the context of past conversations from any project on demand.

An MCP server that provides persistent memory capabilities for AI agents using Mem0, enabling storage, search, and management of contextual information across conversations with support for multiple backends and LLM providers.