"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

Enables listing, reading, and searching local Markdown notes through MCP tools and exposing them as context resources, with protection against path traversal attacks.

MCP server that converts PDF, video, web, and audio inputs into structured Markdown notes with support for checkpointing, batch processing, and Obsidian integration.

Persists Claude Code sessions to Notion as team memory, enabling queryable recall of decisions, work state, and project architecture.

Enables writing text content to Markdown files with folder organization and overwrite control, and listing recent Markdown files.

MCP server for Obsidian vaults, optimised for Cursor agents — safe note editing, lean tool surface, direct filesystem access.

Enables automatic collection and AI analysis of Slack messages to create organized Notion pages, supporting custom analysis directions like meeting minutes, issue extraction, and topic classification.

Enables AI agents to search, create, and manage Notion pages and databases through the Model Context Protocol. It features file-based operations and response extraction to optimize token usage and context efficiency.

Converts XMind mind map files into structured Markdown documents, preserving hierarchy and optionally including metadata.

Turn Obsidian notes into agent-ready context, preview-only plans, and safe repo handoffs.

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.

A Model Context Protocol server that implements a simple notes system, allowing users to create, list, and summarize text notes.

A robust MCP server that transforms OneNote notebooks into an AI-accessible knowledge base for Gemini Spark, enabling natural language queries to list, read, and search notes via Microsoft Graph API.

Provides tools for querying and updating Notion database rows by exact property filters, avoiding semantic search for reliable row selection.

Searches Reddit for answers to questions and saves Q&A sessions to Notion.

Interacts with LogSeq via its API.

MCP server to interact with Obsidian via the Local REST API community plugin.

A TypeScript-based MCP server that enables AI assistants to create, search, list, and delete notes with tags. Serves as a starter template for building custom MCP servers with tools and resources.

Connects to Microsoft OneNote desktop via COM API, exposing 27 tools for hierarchy, page CRUD, search, rich content, export, health checks, and more. Enables natural-language control of OneNote without API keys or embedded AI providers.

MCP server for structured reflection and self-modeling over Everlog diary exports, enabling agents to query local diary evidence and maintain versioned artifacts of threads, moments, beliefs, and decisions.

Enables AI assistants to intelligently save, organize, and retrieve content through Mem.ai's knowledge management platform. Supports creating notes, collections, and AI-powered content processing with automatic organization.