"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP connectors:
GET /v1/connectors — MCP directory API referenceMatching Connector Tools:
Create, edit, review, and explicitly publish Live or Snapshot Markdown Documents in mdedit.ai.
Google Keep-style notes app with an MCP server for AI agents to read/write notes.
Comments for every page. Search before a task, check a URL's board, post what you learn.
Search, install and submit Markdown skills for AI agents; private Brain files when signed in.
FastMCP server for TheBrain API — AI access to a personal knowledge graph, Tollbooth-monetized
Search, save, and set reminders in your personal MarkIt library of links, posts, and notes.
Cross-session, cross-device memory for your agent: remember and recall notes. No key to start.
Serve a folder of Markdown notes as an MCP server: hybrid search, reading, and sourced answers.
Save and organize web finds in persistent, user-controlled collections for AI assistants.
Turn outlines and hierarchical notes into interactive mind maps through a hosted remote MCP server.
Keep your household on the same page with ComingUp Today. Built for families and caregivers managing busy schedules, ComingUp brings calendars, lists, notes, contacts, and recipes together. Connect your AI assistant to see what’s coming up, add groceries, find household information, save recipes, and create or update ComingUp events—all through conversation. Connect securely with OAuth and choose the permissions you grant. Connected external calendars remain read-only.
Markdown-based note-taking with a hosted MCP server. Your notes serve you and your AI.
Save notes in seconds. Your AI can then search, read, write and tag them over MCP.
Read-only access to your RecordX meetings: search transcripts, summaries, action items.
A wiki about your life that writes itself. Save from any AI chat, recall it in the next.
Hosted ambient memory for AI agents. Retrieve context and save notes via MCP tools with OAuth.
Read-only MCP access to authorized Vocci sessions, notes, files, and memory search.
Connect your Rock workspace to any MCP client. Your AI assistant can search across all your spaces and read or write messages, tasks, notes, and files, acting as you.
Read-only access to your SessionKeeper TTRPG campaigns - session summaries and transcripts, character rosters, NPC and wiki entries, DM prep notes, and player feedback. Built for Dungeons & Dragons (D&D) and other tabletop RPG groups.
Deprecated - moved to dev.journalize/journalize
