"AWS SDK or tool for managing EC2 instances and configuration" matching MCP servers:

Self-hosted memo knowledge base with MCP, REST, and read-only web interfaces; lets AI agents save and retrieve tagged, searchable study notes for AWS DevOps Pro exam prep.

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

A set of tools enabling AI agents to interact with Canvas LMS, allowing users to find relevant resources, get course information, and navigate modules through natural language queries.

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

Provides comprehensive mathematical differentiation capabilities using symbolic computation (SymPy) and automatic differentiation (autograd).

Provides 23 modular tools for competitive programming, including problem analysis, algorithm planning, code generation, verification, testing, code review, and learning assistance.

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 server for querying, practicing, and analyzing exam questions from Taiwan's national examinations, offering 20 tools including search, statute lookup, weak topic review, and readiness assessment.

Enables bidirectional lookup of Mi'kmaq and English words with definitions and examples, and provides tools for learning and dictionary statistics, integrating seamlessly with AI-powered IDEs.

MCP server exposing a university course catalog with tools for searching courses, looking up prerequisites and instructors, and generating prerequisite graphs, plus resources and a prompt template for AI academic advisors.

Provides tools for managing student knowledge graphs, enabling structured representation of courses, assignments, exams, concepts, and study resources.

Provides a comprehensive creative thinking tool with methods like structured process, perspective shift, and constraint-based innovation to enhance divergent thinking.

Provides Chinese figurative language lookup backed by CC-CEDICT, helping to verify whether a word or phrase has recorded figurative usage or is a one-off creative expression.

A minimal Model Context Protocol server built with the official Python SDK. It exposes one tool, define, which looks up the definition of an English word using the free dictionaryapi.dev API.

13,000+ IT certification practice questions for AI agents (AWS, Azure, GCP, CompTIA, CISSP, PMP, Kubernetes, Terraform, Cisco, Salesforce). Pay-per-call via x402 USDC on Base, or a prepaid API key. Tools: get_cert_questions, list_certifications.

MCP server to search and retrieve regulations from 14 Korean universities' regulation management systems. Supports querying, listing, and viewing full text or specific articles.

Enables arithmetic calculation, current time lookup, and attendance retrieval through natural language tool calls.

An unofficial MCP server for Bunpro that exposes its review queue, search, statistics, and SRS management as tools, enabling an LLM agent to read study data and add grammar points or vocabulary to reviews.

MCP stdio server for controlling local Anki via AnkiConnect. Enables LLMs to manage Anki decks and notes through a standardized tool interface.

Enables Claude Desktop to interact with the Litmos REST API for managing courses, users, training progress, and enrollments.