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

Enables security teams to determine which ATT&CK techniques lose detection coverage when telemetry sources are removed, by computing set differences over a Sanity content graph and consulting a knowledge base via two Context MCP endpoints.

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.

Turns a codebase into a persistent knowledge graph so AI coding agents can answer structural questions about functions, call chains, routes, and cross-service links through graph queries instead of reading files one by one.

Enables AI harnesses to maintain a persistent memory layer backed by a local SQLite file, providing MCP tools to add, search, deprecate, and synchronize facts without deleting history.

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

Enables AI agents to auto-load a persistent skill library at session start, and provides proxy tools for MiniMax vision and web search that work around broken MCP stdio transports.

Free Industry 4.0 / IIoT tools, no API key or account: lint MQTT Sparkplug B topics, check a Unified Namespace (UNS) for naming and hierarchy problems, and run an industrial AI-readiness diagnostic for manufacturing digital transformation and smart-factory projects. Works in Claude Code, Codex and any MCP client.

Educational MCP server with 17 tools for mathematical calculations, matrix operations, statistical analysis, and data visualization. Includes persistent workspace, cloud hosting, and safety features like restricted eval.

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协议的知识库服务器，内置LLM层，提供结构化知识存储、语义搜索和主动知识推送，支持通过工具进行知识学习、搜索和关联推理。

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

Enables capturing technical knowledge from AI development sessions into vetted documents and committing them to a designated private GitHub repository, while supporting search, challenge, and maintenance of the accumulated knowledge base.

dev-brain-mcp

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.

Provides customer lookup, transaction history, knowledge-base search, and ticket management tools to any MCP client.

Provides durable project context for coding agents, including project maps, session history, and explicit memories, all stored locally.

Enables searching, reading, and appending change notes in an Obsidian vault through local MCP tools.

A collection of MCP servers for Apple macOS apps (Mail, Contacts, Notes, Memory, Messages, Calendar, Reminders) enabling AI assistants to read, search, create, and update data via JXA, SQLite, and EventKit.