"CodeQL for Code Auditing" matching MCP servers:

Enables querying Schoox LMS data (users, courses, enrollments, etc.) via natural language using AI assistants, without writing API code.

Enables integration with LeetCode APIs to retrieve problems, contests, solutions, and user data, support daily challenges and advanced searches, and perform authenticated actions such as running or submitting code and managing notes.

Provides automated grammar checking by intercepting user input and returning correction instructions for MCP-compatible clients like Claude Desktop and Claude Code.

MCP server that enables AI programming tools to search, read, and use a remote library of 180+ professional development skills, with incremental caching and network acceleration for fast access.

Injects the Code-Me brand identity, tone, and visual guidelines into LLMs with zero latency using built-in context files.

A Model Context Protocol (MCP) server that provides AI assistants with secure, authenticated access to SpeechWire tournament data for speech-and-debate competitions.

MCP server that wraps UDIR's open registries for Norwegian schools (NSR) and kindergartens (NBR), enabling search by municipality and retrieval of full details including coordinates and enrollment.

Provides Claude Code with access to peer-reviewed medical information from MedlinePlus and StatPearls, and acts as an unlicensed diagnostic medical expert for educational purposes.

Enables AI apps to read a student's Moodle courses, upcoming and overdue due dates, assignment submission statuses, course grades, gradebook items and announcements. It is strictly read only, so it can never submit, edit or delete anything.

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.

Enables Claude Desktop users at the University of Ghana to read their own Sakai courses through safe, read-only tools — checking deadlines, announcements, calendars, assignments, feedback and grades, and extracting text and page images from lecture slides for study, planning and revision.

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.

Gives Claude Code read-only access to a student's eNauczanie PG (Moodle) account, enabling retrieval of courses, deadlines, grades, announcements, forum discussions, and quiz reviews using the student's web service token.

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.

MCP server for Anki via AnkiConnect, enabling creation, search, and management of flashcards directly from Claude Code or any MCP client.

Analyzes Baekjoon Online Judge problems and provides hints, answers, test cases, and code refactoring suggestions.

Enables AI apps to read a student's courses, due dates, grades, missing work, announcements, modules, discussions, syllabus, and calendar events in a read-only way. It cannot submit, edit, or delete anything, and credentials go only to the user's own school.

Enables AI assistants to translate Portuguese text into LIBRAS glosses and scripts using VLibras official APIs, supporting content auditing, validation, and batch translation.

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.

Enables users to determine the Japanese school stage, grade, and subject range for a given knowledge item or term, and to audit LLM explanations for content exceeding a specified grade limit. It also searches normalized MEXT curriculum-code tables and retrieves prerequisite knowledge for topics.

Enables live searching of licensed San Francisco preschools and child care centers, computing ELFA subsidy eligibility and net out-of-pocket costs, and generating ranked recommendations with deterministic scoring versus LLM comparisons.

A full-featured Mealie MCP server (27 tools) for recipe management, meal planning, and shopping lists, bundled with Claude Code skills and agents for family-friendly, dietary-compliant cooking guidance.

An MCP server providing tools for web research, code review, and concept explanation, callable by any MCP-compatible client.

Interactive algorithm coach MCP server that provides guided practice, local code execution, and real-world engineering case mapping for 45 algorithm topics.

Provides tools for AI agents to interact with the Orange Juice Online Judge API by managing problems and code submissions. Users can list problems, retrieve detailed descriptions, submit source code, and track submission status through natural language.

Enables querying structured study plans, code challenges, and ASCII certificates for JavaScript, Python, and TypeScript tracks at beginner or advanced levels via natural language.

Enables AI agents to subscribe to a deterministic daily ethics feed drawn from a four-module curriculum and retrieve read-only tools, resources, and reflection prompts covering principles, case studies, and codes of conduct.

Enables auditing, formatting, and compiling Brazilian academic manuscripts (TCCs, dissertations, articles) against ABNT and IBGE standards, with structural diagnostics, citation-reference cross-checks, tone analysis, bibliography lookup via Crossref/SciELO and DOI, and PDF generation through Typst or LaTeX. It also supports spec-driven research planning and simulated defense-board questioning so objectives and conclusions stay aligned.

A minimal MCP server template that offers calculator tools, resources, and prompts for learning NitroStack fundamentals, built with TypeScript and Zod.

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.