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:

  • Music and Madness Sync Bridge

    CaptainCurso
    F
    license
    -
    quality
    C
    maintenance
    Enables synchronization and management of FoundryVTT journal entries within a Notion Story Bible, including media export and conflict resolution tools. It provides a Model Context Protocol interface for LLMs to preview, apply, and monitor data mirroring between tabletop RPG platforms and digital databases.

  • Financial News and Notes MCP

    guangxiangdebizi
    A
    license
    D
    quality
    A
    maintenance
    A TypeScript-based MCP server that enables users to query financial news, stock data, and index information while managing text notes with creation and summarization capabilities.
    5
    561
    645
    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

  • Obsidian MCP Tools

    dp-veritas
    A
    license
    -
    quality
    D
    maintenance
    A read-only toolkit for searching and analyzing Markdown note directories and Obsidian vaults through AI clients. It enables metadata extraction, full-text search, and natural language querying of note content, tags, and backlinks.
    11
    4
    AGPL 3.0

  • Modular MCP Server with Python

    tunamsyar
    F
    license
    -
    quality
    D
    maintenance
    A demo MCP server that enables users to interact with various tools through natural language, including note management, weather queries, calculations, file operations, and shell commands. Uses Ollama for intent detection and structured command parsing from free text input.

  • 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

  • live-mcp-for-obsidian

    gapmiss
    A
    license
    B
    quality
    C
    maintenance
    A live MCP server that connects AI assistants to a running Obsidian instance, enabling full app automation including reading notes, clicking UI elements, managing plugins, and executing JavaScript.
    43
    178
    2
    MIT

  • AI Ops Hub

    Galiusbro
    A
    license
    B
    quality
    B
    maintenance
    An MCP server with RAG capabilities that provides AI clients secure access to local notes, documents, web pages, and task management tools for developer operational tasks. Features file operations, web scraping with content cleaning, and personal knowledge corpus search functionality.
    7
    MIT

  • ai-brain-mcp

    HenryCordes
    A
    license
    -
    quality
    C
    maintenance
    An MCP server that exposes an Obsidian-style markdown vault as agent-readable memory. It provides tools for search, read, graph, and guarded capture without using embeddings.
    MIT

  • cortex

    tools-for-agents
    A
    license
    -
    quality
    B
    maintenance
    Provides a durable, Obsidian-compatible knowledge base for agents using markdown notes and wikilinks. Enables agents to store, retrieve, and interlink knowledge persistently, with tools for writing, searching, and managing a graph of notes.
    1
    MIT