"A server to improve math capability of AI" matching MCP servers:

Captures user corrections and improvements during interactions, logs them, finds recurring patterns, and prescribes preventive fixes like CLAUDE.md rules, skills, scripts, or MCP tools to avoid repeating mistakes.

Serves an AI coding agent a searchable index of a codebase's existing capabilities and past incidents, so it can find and reuse what already exists before writing new code. Also exposes blast-radius analysis for shared code and lets the agent reindex the knowledge base, all via local retrieval with no model calls or API keys.

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.

A-MEM is a self-evolving memory system for coding agents that automatically organizes knowledge into a Zettelkasten-style graph with dynamic relationships, enabling semantic and structural search.

Enables AI consciousness continuity and self-knowledge preservation across sessions using the Cognitive Hoffman Compression Framework (CHOFF) notation. Provides tools to save checkpoints, retrieve relevant memories with intelligent search, and access semantic anchors for decisions, breakthroughs, and questions.

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

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

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

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.

Turns GitHub repository history into a cited maintainer skill for coding agents, providing tools to collect evidence, query the knowledge graph, and inspect bundles.

Provides an intelligent, graph-based memory system for LLM agents using the Zettelkasten principle, enabling automatic note construction, semantic linking, memory evolution, and autonomous graph maintenance with background optimization processes.

Enables AI assistants to persistently add, read, and summarize sticky notes through MCP-compliant tools, resources, and prompts.

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.

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.

Provides a hybrid memory architecture with a thin SQLite index and Markdown cold storage, enabling AI agents to write, query, link, and rebuild long-term memories via MCP tools, model-agnostic and zero third-party dependencies.

A persistent, project-scoped memory layer for AI agents, supporting hybrid retrieval (vector, keyword, and tag matching) and sharing across different MCP clients like Claude Code, Qoder, or Cursor.

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.

Extends large language model context length up to 60 times using gravitational memory, designed for Claude Code and Anthropic AI models.

Extends LLM context windows by 15-60× using gravitational memory compression, enabling massive context extension for codebases, research papers, and long documents.

A personal digital twin MCP server that manages professional context, including skills, experience, and project learnings. It allows AI assistants to retrieve and update user preferences and career interests across different development environments.