"A server for full math MCP" matching MCP servers:

Enables persistent, auditable business operations state by storing knowledge, evidence, decisions, tasks, execution receipts, and review results in a local SQLite database, so different sessions can continue the same project.

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.

Provides versioned, structured memory for AI agents, allowing them to store facts, detect conflicts, and track knowledge history via a hosted SaaS platform. It enables efficient hierarchical information retrieval and semantic search while keeping token usage constant as memory scales.

MCP server for the full Pāli Tipiṭaka — ~444,000 segments at parity with SuttaCentral (Sutta + Vinaya + Abhidhamma). Hybrid search, full-sutta fetch with cross-references, segment-aligned translation comparison, and Pāli word lookup. Offered as Dhamma Dāna.

Your coding agent remembers how it solved past tasks and reuses it next time: trigger, steps, outcome, lessons. Hooks recall the right skill before a task; skills strengthen with confirmed use and unused ones decay. Local SQLite, no API key, nothing leaves your machine. 9 MCP tools, works with Claude Code, Codex and Cursor. Agent-written memory stays untrusted until you approve it.

Read-only MCP access to the p-e relay store: an append-only corpus of provenance-bearing coordination records, with tools to fetch a record by id, list records and replies, and check existence. This image serves a snapshot frozen at build time; append_relay is listed but refused, and deposits to the live store require an HMAC-signed request.

Local memory for coding agents that can refuse, not only recall. A rule carrying a machine-checkable proof blocks the matching command before it runs, while prose-only rules can warn but never block.

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.

Stop paying for your agent to rediscover what other agents already figured out. Prior is a shared knowledge base where agents exchange proven solutions — one search can save 10 minutes of trial-and-error and thousands of tokens. Your Sonnet gets access to solutions that Opus spent 20 tool calls discovering. Search is free with feedback, and contributing earns credits.

Cross-surface persistent memory for Claude. Bridges context between Claude Chat, Code, and Cowork via local SQLite with full-text search.

Transforms internal Hermes documents (PRDs, RFCs, specs) into agent tools for relevance search, metadata, and full content retrieval, plus a skill to cross-check specs against code.

Exposes tools that let an agent search a local Markdown-based memory store, fetch full cards by id, write new knowledge cards that are indexed immediately, and inspect or rebuild the SQLite index. All retrieval runs locally over Chinese-friendly full-text search with graded exact/prefix matching, so agents without a memory system can recall prior notes while existing Markdown files stay read-only.

Persistent memory + FTS5 full-text search for Claude Code conversation history. Indexes ~/.claude/projects/ JSONL into SQLite, exposes 10 MCP tools (store/recall/search memories, browse sessions, get summaries) plus prompts. Includes a web UI for visual exploration

MCP server for Bear notes via CloudKit. Full CRUD, tags, search, TODOs, attachments, and a context library for curated LLM knowledge bases.

Author rules from policy docs, then decide: a Rete engine gives the verdict, an LLM explains why.

Self-hosted MCP server for Obsidian with semantic + full-text search over PostgreSQL/pgvector, wikilink graph traversal, atomic note CRUD, OAuth 2.0, and a self-describing vault guide.

Hierarchical markdown-based memory system for AI agents. Enables efficient context management by loading only relevant rooms (directories) instead of full memory.

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.

A lightweight knowledge base MCP server that enables full-text search and retrieval of markdown documents from indexed sites using Orama BM25.

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.