Enables agents to verify educational, scientific, and engineering visuals by extracting structured evidence and running domain-specific checks against specs and theory.
Enables automation of Cisco Packet Tracer simulations by placing devices, connecting links, and generating IOS configurations via MCP, ideal for network coursework and demonstrations.
MCP server that lets AI agents drive VS Code as a coding tutor, highlighting ranges of code, narrating explanations aloud via TTS, and running scripted walkthroughs.
An MCP server that provides interactive 2D/3D math plotting, embedded CircuitJS circuit demonstrations, and locally rendered Manim slide videos for ChatGPT/Codex.
An MCP server that generates Excalidraw diagrams to visualize algorithm execution step-by-step, supporting multiple data structures and integration with AI assistants.
A Model Context Protocol (MCP) server that provides AI assistants with secure, authenticated access to SpeechWire tournament data for speech-and-debate competitions.
Enables users to search for courses, view detailed syllabus information, and manage enrollments and progress on Coursera. It supports automated interactions including viewing certificates through local or cloud-based browser environments using Playwright.
MCP 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.
A vocabulary-bank MCP server that allows users to collect unfamiliar words, organize them into decks, review with spaced repetition, and enrich with definitions and pronunciation, all stored locally.
Extends the official Obsidian MCP server with intelligent learning and second-brain features, including AI-generated challenges, progress analytics, spaced repetition, and knowledge gap analysis.
Interactive algorithm coach MCP server that provides guided practice, local code execution, and real-world engineering case mapping for 45 algorithm topics.
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.
MCP server that injects verified FTC documentation and code examples into AI assistants, enabling teams to write correct, competition-ready Java robot code through natural language.
Provides educational tools for developers to learn programming concepts, review code, get best practices, compare approaches, generate learning paths, debug, explain code, and quiz themselves.
An MCP toolkit for algorithm learning that enables AI agents to search problems, generate step-by-step hints, analyze code, and create review templates for Baekjoon and Programmers problems.