Discover the Best AI Tools

Learn Shell gives AI tutors a persistent classroom with lessons, flashcards, exercises, grading and learner context through a web app and MCP. It requires self-hosted infrastructure and an external teaching agent; its current single-machine trust model has no authentication.

Say-it Pronounce combines a sourced developer-term dictionary with spoken pronunciations, quizzes and CLI, editor and MCP integrations. It preserves competing readings and uses platform speech tools; not every entry has a cited source or a universally accepted pronunciation.

Pronunciation MCP Server records and transcribes speech locally and supplies English pronunciation, grammar and fluency coaching, including sentence drills. It requires a microphone and local models; feedback may be inaccurate and is not a standardized assessment.

ICTExam MCP lets assistants read exams, grades and item analysis, with optional paper parsing and exam publication. A teacher or administrator account is required; writes are disabled by default and AI parsing consumes platform credit.

SCORM MCP Server packages HTML learning modules and supported exports as SCORM 2004 or 1.2 courses, adds progress tracking and validates packages. Offline output depends on bundling the required assets; question-level reporting remains dependent on LMS support.

Moodle MCP Server connects agents to Moodle Web Services for read-only course, enrollment, assignment and user queries. It requires enabled Web Services and an API token; advanced reporting plugins are separate from the open-source core.

Brightspace D2L MCP Server gives assistants read-only access to courses, deadlines, submission status, grades and course files through a browser-authenticated session. It needs a supported browser and school login; quiz attempt status can remain unknown and it cannot submit work.

Campus CLI is an unofficial CLI and MCP connector for UPC Peru's Blackboard, exposing courses, assignments, grades and materials. It requires a Campus account and the student's university SSO session; Canvas and Moodle support remain on the roadmap.

Canvas LMS MCP Server gives assistants access to courses, assignments, grades, modules and deadlines through the Canvas API, with a bulk export for offline indexing. It is a single-user alpha requiring a Canvas token; local execution still involves requests to the institution's API.

Provides AI agents with symbolic and numerical computation, mathematical claim checks and SVG plots through MCP or CLI. Requires Node.js and a supported expression format; computer algebra checks do not constitute general formal proofs.

mcp-gnu-units exposes offline dimensional unit conversion, search and definitions using a bundled GNU Units database and a Python engine. It is a prerelease installed from source rather than a published PyPI package, under GPL-3.0-or-later. Conversion coverage depends on the engine and included definitions.

gnomon-mcp offers deterministic batch date, timezone, mathematical, statistical and unit calculations through Python MCP tools. Working-day arithmetic treats Monday through Friday as workdays and does not apply regional holidays. Natural-language dates and units still require unambiguous inputs.

Polymath MegaBlaster MCP provides local Node.js tools for mathematical expressions, statistics, dates, units, subnets and token counting. Runtime calculations need no API key. Precision and tokenizer coverage depend on the selected operation; geographic distance uses an Earth model and is not an exact measurement.

Mathlas gives AI clients mathematical tools for numerical checks, constant and sequence identification, theorem search and Lean proof checking. It contains no internal LLM; some tools require local OEIS data or Lean, while theorem retrieval can use external services.

MathMethods MCP exposes numerical root finding, integration, differentiation, interpolation and differential-equation solvers to AI clients. It provides numerical approximations under each method's assumptions, rather than symbolic proofs or guaranteed convergence.

mcp-abacus provides expression evaluation, numerical solving and curve fitting through MCP, using selected fixed-point, floating-point, rational or complex modes. Results carry precision information. Supported operations vary by mode and solver; an exact label concerns that calculation, not the correctness of the submitted formula or assumptions.

Language-model assistant for theorem proving in Lean.

Geometry theorem prover combining a language model with a symbolic deduction engine.

A GitHub Action that uses language models to translate localization strings and commit the results, supporting formats like XLIFF and JSON.

Free certification prep for the Claude Certified Architect exam with scenario-based questions and guided capstone build.

Plot Ark is a self-hosted agentic curriculum engine for higher education that generates pedagogically grounded course content.

MCP server for D2L Brightspace LMS to check grades, due dates, assignments, and more.

An educational MCP server for math operations, statistics, visualization, and persistent workspaces.

A tool for creating and managing knowledge graphs using AI.