"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
Matching Connector Tools:
I Ching hexagram casts, 64 hexagram meanings and changing lines for AI agents.
Vedic kundli, panchang, dashas, nakshatras and KP charts for AI agents, one API key.
Read-only access to the Islam West Africa Collection via Hugging Face datasets.
Daily panchang, festivals, muhurta and birth details, identical to the HinduCalendar Android app.
Read-only access to S. Araba Lawson's Afromorphism essays, glossary, books, and site.
Buddhist canon tools: search, passages, cross-canon parallels, dictionaries — all URN-cited.
Quotes MCP — citation-grade quote API for public-domain authors.
Search, navigate, and explore the Quran through 8 MCP tools — verses, surahs, lemmas, roots, and morphology. Hosted at mcp.quran.us.kg.
MCP server for Open Archives: Dutch genealogical records and historical page transcriptions.
Agenda Rio — events and cultural agenda for Rio de Janeiro: shows, exhibitions, and things to do.
Agenda SP — events and cultural agenda for São Paulo: shows, exhibitions, and things to do.
MCP server for Project Gutenberg — 75,000+ public-domain ebooks with full plain-text retrieval.
Japan data tools for AI agents: calendar (rokuyo), address, name splitting, corporate number lookup
Korean Four Pillars (Saju/BaZi) calculator: pillars, elements, ten gods, sinsal, luck cycles.
Read-only semantic search over Vedic scripture verses, commentaries, and recorded lectures.
Art-tourism data for AI agents: biennales, art fairs, museums, layover itineraries with 2026 facts.
Search 15K rare pre-modern texts translated to English: philosophy, religion, science, literature.
Colour intelligence API with 23,000+ historically grounded colours across 59 archives. Maps hex values to named archive colours with provenance, cultural risk, WCAG accessibility, and brand palette analysis.
Cultural color intelligence. Every colour anchored to a person, a year, and a consequence.
Cultural color and colour intelligence API. Every colour anchored to a named person, a documented year, and a consequence. 34 archives spanning literary, cultural, pigment, and national traditions. Ask it what color could get you executed in the Ottoman Empire.