"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:

Enables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.

An AI tutoring system that runs as an MCP server, allowing Claude to access and interact with your local educational materials to provide personalized tutoring based on your actual course content.

Bilingual (EN/ES) AI-writing detection that shows the evidence instead of a percentage: named tells with line and column, hidden-character inspection, and citation cross-checking against a document's own bibliography. Seven of its nine tools run entirely locally and never touch the network.

An AI-powered study assistant that generates quizzes, flashcards, summaries, and concept explanations from study materials using the Model Context Protocol.

Provides access to thousands of interactive self-awareness scenarios, behavioral archetypes, and breakthrough exercises from the Levels of Self development game. It enables AI assistants to guide users through pattern recognition and developmental coaching across seven levels of self-awareness.

Evidence-first YouTube research server enabling search, transcript citation, video analysis, flashcards, and collateral generation for MCP hosts and VS Code.

An MCP server that wraps Aristotle's automated theorem prover for Lean 4, allowing AI assistants to fill in proofs, verify lemmas, and formalize natural language into Lean code.

Provides Latin NLP tools for tokenization, lemmatization, POS tagging, reported speech detection, and LiLa Knowledge Base querying via MCP.

Enables searching for upcoming academic conferences and events from WikiCFP by keywords, returning detailed information including dates, locations, submission deadlines, and related resources.

A local MCP study assistant that explains topics, creates study plans, and generates revision checklists through the Model Context Protocol.

Enables a study assistant to explain topics, build study plans, and generate revision checklists, with read-only access to course outline and status resources.

An MCP server for interacting with the Tripura State Board of Secondary Education API, auto-generated using AG2's MCP builder to enable conversational access to education data.

Access to the new Open English Translation of the Bible with both a Readers' Version and a Literal Version

Provides comprehensive word definitions, pronunciations, meanings, and examples for any English word using the Free Dictionary API. Includes a random word-of-the-day feature with difficulty levels for vocabulary building.

Enables AI assistants to access PSG College of Technology e-campus portal data including CA marks, attendance records, timetable schedules, and course information through natural language queries.

Exposes a small catalog of programming study topics through the Model Context Protocol (MCP) for local learning.

An MCP (Model Context Protocol) server that turns the book Deep Learning with Python (François Chollet) into a searchable knowledge base, so Claude can act as a deep-learning/ML expert grounded in the book's content.

Provides structured MCP tools for querying college database records, including student profiles, course details, enrollments, faculty teaching assignments, and academic statistics.

Enables querying of a locally pinned snapshot of the Education-to-Workforce Indicator Framework — 99 indicators and 11.8M observations — to browse questions, describe metrics, resolve places, and fetch or rank data across national, state, county, and district levels.

Enables AI agents to browse and teach the Deep Learning DIY course, providing access to modules, notebooks, transcripts, quizzes, slides, and homework via MCP tools.