An MCP server that enables Claude to research across NotebookLM notebooks as closed corpora, preserving evidence provenance and providing tools for evidence retrieval, comparison, and verification.
MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.
An MCP server that serves a private markdown repository as a verifiable memory for Claude and other MCP clients, enabling tools to read, write, retrieve, and capture notes with deterministic verification of citations.
An MCP server that integrates the MathJS library to provide AI models with advanced calculation capabilities, including support for complex numbers, matrices, and unit conversions. It supports both stdio and HTTP transports for seamless integration with clients like Claude Desktop and GitHub Copilot.
A local MCP server providing text utilities, math functions, and a persistent todo list, enabling task automation via natural language in Claude Desktop.