Skip to main content
Glama
72,476 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

  • Proof MCP

    ToremLabs
    A
    license
    -
    quality
    C
    maintenance
    An MCP server that exposes a Proof workspace to MCP clients, enabling tools for reading/writing concepts, managing ideas and projects, running ideation operators, and more, with live sync and headless authentication.
    112
    AGPL 3.0

  • TheWeave: Memory for AI agents

    TheWeaveSC
    A
    license
    -
    quality
    A
    maintenance
    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.
    2
    Apache 2.0

  • auto-knowledge-base

    guyeyouhun
    A
    license
    A
    quality
    B
    maintenance
    基于MCP协议的知识库服务器，内置LLM层，提供结构化知识存储、语义搜索和主动知识推送，支持通过工具进行知识学习、搜索和关联推理。
    6
    1
    MIT

  • Obsidian Second Brain MCP

    dhaseeb-proj
    A
    license
    A
    quality
    C
    maintenance
    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.
    6
    MIT

  • ai-cortex

    ai-creed
    A
    license
    -
    quality
    B
    maintenance
    Provides durable project context for coding agents, including project maps, session history, and explicit memories, all stored locally.
    74
    6
    MIT

  • msp-tools-mcp

    Jackson-DM
    F
    license
    A
    quality
    B
    maintenance
    Provides MSP support tools (ticket search, draft response, KB search, update) with a deterministic security guardrail that refuses to draft responses for security tickets based on content scanning, even if mislabeled.
    5

  • ai-r

    pro-target
    A
    license
    A
    quality
    B
    maintenance
    Provides a read-only interface to audit and continue coding agent sessions by extracting plans, intents, and edit authorship from history across multiple agents (Claude, Codex, OpenCode, Antigravity, Pi) via MCP, CLI, and Python SDK.
    18
    3
    MIT

  • CKG-NVIDIA-AI

    WangHuikong
    A
    license
    A
    quality
    B
    maintenance
    Provides a compressed knowledge graph of the NVIDIA AI developer stack for deterministic traversal, enabling agents to answer questions about dependencies and prerequisites with minimal tokens.
    8
    MIT

  • AI-Collab-Memory

    sodam-ai
    A
    license
    A
    quality
    -
    maintenance
    An MCP server for managing work logs, research results, and task checkpoints to enable seamless collaboration and state recovery between AI agents. It provides a persistent memory layer for tracking project history and resuming workflows across different sessions or tools.
    7
    3

  • File AI

    flyfish-dev
    A
    license
    B
    quality
    C
    maintenance
    A read-only MCP server that provides document awareness for agents by parsing local files into structured profiles, blocks, chunks, and search results, enabling agents to understand and cite document content without dealing with raw file formats.
    5
    38
    3
    Apache 2.0

  • Elasticsearch Knowledge Graph

    j3k0
    A
    license
    B
    quality
    D
    maintenance
    Provides a scalable knowledge graph implementation for Model Context Protocol using Elasticsearch, enabling AI models to store and query information with advanced search capabilities, memory-like behavior, and multi-zone architecture.
    20
    15
    20
    MIT

  • Coach AI

    94aharris
    F
    license
    B
    quality
    D
    maintenance
    A productivity coaching assistant designed for ADHD support that provides intelligent task management, goal tracking, and personalized recommendations. It utilizes a persistent memory system to learn user patterns and preferences, helping to reduce decision paralysis through actionable suggestions.
    28
    1

  • ai-dememory

    GonzaloTorreras
    A
    license
    B
    quality
    A
    maintenance
    Personal multi-LLM memory repository using Markdown as source of truth, SQLite FTS5 for retrieval, and MCP tools for search, context, and write proposals.
    74
    Apache 2.0

  • Hi-AI

    ssdeanx
    A
    license
    C
    quality
    D
    maintenance
    AI development assistant with 36 specialized tools for memory management, code analysis, project planning, and problem-solving through natural language interactions in Korean and English.
    36
    3
    MIT