A
license-
qualityD
maintenanceEnables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.
1
MIT
73,156 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
app.ofia
io.github.max124vip-dev
io.github.eltociear
actor.apify.godberry--content-to-social-mcp
"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:
- Flicense-qualityDmaintenanceAn MCP server that renders LaTeX math expressions and step-by-step solutions into high-quality PNG images and hosted URLs. It enables AI assistants to provide visual mathematical solutions formatted for messaging platforms like iMessage.2
- AlicenseAqualityBmaintenanceAn MCP server that enables MCP clients to directly access and process arXiv papers by fetching the LaTeX source, improving mathematical content understanding.4142MIT
- AlicenseBqualityCmaintenanceAn AI-powered study assistant that generates quizzes, flashcards, summaries, and concept explanations from study materials using the Model Context Protocol.6MIT
- Alicense-qualityFmaintenanceAn 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.13MIT
- Alicense-qualityDmaintenanceProvides Latin NLP tools for tokenization, lemmatization, POS tagging, reported speech detection, and LiLa Knowledge Base querying via MCP.MIT
- Alicense-qualityCmaintenanceEnables searching for upcoming academic conferences and events from WikiCFP by keywords, returning detailed information including dates, locations, submission deadlines, and related resources.6GPL 3.0
- Flicense-qualityCmaintenanceA local MCP study assistant that explains topics, creates study plans, and generates revision checklists through the Model Context Protocol.
- AlicenseAqualityDmaintenanceEnables AI agents to browse and teach the Deep Learning DIY course, providing access to modules, notebooks, transcripts, quizzes, slides, and homework via MCP tools.184Apache 2.0
- FlicenseBqualityCmaintenanceA minimal MCP server template that offers calculator tools, resources, and prompts for learning NitroStack fundamentals, built with TypeScript and Zod.2
- AlicenseBqualityCmaintenanceAn MCP server that enables AI agents to manage a Frappe LMS instance, including creating courses, chapters, lessons, quizzes, enrollments, batches, and certificates.39MIT
- AlicenseBqualityDmaintenanceProvides access to API Ninjas Random Word API to generate random words by type (noun, verb, adjective, adverb) for creative writing, games, and language learning applications.1MIT
- FlicenseBqualityCmaintenanceProvides 23 modular tools for competitive programming, including problem analysis, algorithm planning, code generation, verification, testing, code review, and learning assistance.23
- Alicense-qualityBmaintenanceMCP standards server that grounds K-12 lesson plans by providing tools to look up standards, progressions, curriculum, misconceptions, and learning components from open educational data.Apache 2.0
- Alicense-qualityAmaintenanceAn MCP server exposing @playbykey/theory as AI-callable music theory tools. Compute chords, scales, progressions, transpositions, and MIDI/frequency conversions instead of having your AI assistant guess at music theory from training data.1641MIT
- Alicense-qualityCmaintenanceGenerates educational content like quizzes, lesson plans, flashcards, and grading rubrics from any topic via the Model Context Protocol.201MIT
- Flicense-qualityCmaintenanceMCP server that exposes a university course catalog to LLMs, enabling course search, prerequisite lookup, instructor details, and department directory through natural language.
- Flicense-qualityCmaintenanceProvides LLM assistants with course search, prerequisite lookup, instructor information, and prerequisite graph tools backed by a SQLite database, enabling AI-powered academic advising.
- Flicense-qualityDmaintenancePredicts the likelihood of school closures due to snowfall and severe winter weather using real-time weather data and machine learning algorithms.
- Flicense-qualityCmaintenanceProvides intelligent access to a university course catalog with full-text search, prerequisite tracking, instructor lookups, and course comparison prompts.
