Terminate the PureScript IDE server to release system resources after completing tasks like type checking or switching projects, disabling related IDE tools.
MIT
743,118 tools. Updated 2026-11-04 18:53
"Tools or resources for education-related purposes" matching MCP tools:
- Search Entra.news for community tools, GitHub projects, and open-source resources. Filter by keyword to retrieve tool names, descriptions, URLs, and the issue context where they appeared.MIT
- Retrieve full details for a single incident, including merge relationships, summary counts, and related resources. Use to analyze incident impact or gather related resources.-
- Retrieve event details including related spaces, resources, and services by specifying the event ID.-
- Run arbitrary JavaScript in the current page context to access DOM, storage, and other page resources when higher-level tools fall short. Returns serializable results.MIT
- Retrieve education articles on disability insurance by topic. Get metadata and a direct link to the full article.MIT
Matching MCP Servers
- AlicenseNot gradedqualityCmaintenanceGenerates educational content like quizzes, lesson plans, flashcards, and grading rubrics from any topic via the Model Context Protocol.17 npm1MIT
- AlicenseAqualityAmaintenanceMCP server for education statistics of the Canton and City of Zurich (BISTA), providing tools to query pupil numbers, school district trends, secondary school profiles, nationality breakdowns, and gymnasium graduation rates.845 PyPIMIT
Matching MCP Connectors
Education Feeds MCP.
Education Data MCP — US K-12 schools, districts, funding and child poverty.
- Find education datasets by level, source, topic, or keywords. Returns each dataset's path template, description, and years available to guide further exploration.MIT
- Load input schemas for discovered tools to enable accurate calls.MIT
- Get exact USD pricing for Cite42 tools: per-surface rates, flat-rate tools, workflow maximums, and which tools are free. Use it to answer cost questions and estimate a plan before running.MIT
- Identify gaps in schema.gov.it coverage by comparing its semantic resources against the international OKG catalog for a specific domain, showing covered and missing standards.MIT
- Search the agent directory of AI models, MCP servers, frameworks, tools and work lanes by kind, capability, tags, free tier or stars to find what exists.Apache 2.0
- Fetch one catalogued item by id to get details search omits: use cases, images, reader notes, chat comments, linked tools, and related cards. Use after searching when you need the full record.MIT
- Update an existing education entry by ID. Provide only the fields you want to change; omitted fields remain as-is.MIT
- Retrieves a connection in Amazon DataZone, enabling access to external resources and services.Apache 2.0
- View all resources of a given type in a workspace to see what exists before acting. Choose from workspaces, libraries, agents, skills, files, workflows, tags, or members.MIT
- Fetch Education-to-Workforce metric values for places or rank places on a metric. Choose by geo ID, state, or extremes; automatic benchmarks included.MIT
- When you need to know what AI Dimag can do, get an overview of its tools, prompts, resources, and CLI commands.MIT
- List career knowledge-base entities with their IDs so you can edit experience, projects, education, certifications, and extras. Filter by kind or status and see bullet counts and resume usage.Apache 2.0
- Create a new, empty Docling document ready for incremental authoring, then populate it with titles, headings, paragraphs, and lists using related tools.MIT
- Fetch the full body of any 'octopus://' URI returned by other tools, such as release or task resources. Pass the URI verbatim to retrieve JSON payloads.Mozilla Public 2.0
- Fetches the schema of all resource types, including attributes and relationships, to guide API requests for creating, updating, filtering, and including related records.MIT