"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:

DeepMark helps teachers deliver rapid, consistent marking with meaningful feedback for every student — in a fraction of the time. What once took a week, now takes one free period.

Angel number meanings and repeating sequences like 111, 222, 333 for AI agents.

Dream symbol interpretation and dream-dictionary lookups for AI agents, one API key.

I Ching hexagram casts, 64 hexagram meanings and changing lines for AI agents.

Deterministic Music Theory for Claude, Cursor, and Autonomous AI Agents Large Language Models (LLMs) frequently hallucinate music theory, leading to incorrect notes, false Roman numerals, and broken voice leading. THIRI solves this by providing a deterministic, mathematical music-theory engine (pitch-class-set theory over ℤ/12) directly to your AI. It gives AI assistants precise, reproducible harmonic reasoning in milliseconds, allowing them to write correct musical scores, analyze progression

Source discipline for Torah study in Claude: read the real texts, quote exactly, never fabricate

Nursing care plans for students: diagnoses, SMART goals, interventions with rationale, sources.

Educational MCP server with 17 math/stats tools, visualizations, and persistent workspace

Read-only access to S. Araba Lawson's Afromorphism essays, glossary, books, and site.

Free, public calculators and safety-screened DIY guides for carpet cleaning, upholstery cleaning, and limited water-damage cleanup.

Makuri (EU AI tutoring for immigrant children): 11 tools, 2 interactive panels, no user data.

Read-only access to NewTqnia news, terminology, and explainers in English and Arabic.

UNESCO Institute for Statistics (UIS) MCP — keyless.

Search, navigate, and explore the Quran through 8 MCP tools — verses, surahs, lemmas, roots, and morphology. Hosted at mcp.quran.us.kg.

Search DevRel tools, communities, jobs, events, CFPs, and guides from devrel.directory.

Courses that argue back: learn adaptively, build real work, then defend it to an AI stakeholder.

Bilingual dictionary lookup and translation validation for kasahorow Fellows.

300+ African scholarships, GPA conversion & 1,700+ visa routes for postgrad students.

Canadian citizenship test practice: verified questions, mock tests, IRCC stats, eligibility tools.

Faith tools for AI agents: cited KJV Scripture, ORA Q&A, sermons, churches, prayer & giving.