"Understanding Inference Models" matching MCP servers:

An MCP server that enables MCP clients to directly access and process arXiv papers by fetching the LaTeX source, improving mathematical content understanding.

MCP server giving AI models direct access to 30M+ resources at ETH Library Zurich – books, maps, images, archival material, and linked-data person records.

Provides philosophical thinking frameworks and tools based on Stoic, cognitive, mindfulness, and strategic traditions to assist with decision-making and perspective. It enables AI models to apply structured wisdom from 2,500 years of tested frameworks to user problems.

Provides access to the HUMMBL Base120 framework of 120 validated mental models organized across 6 transformations, enabling users to search, retrieve, and get AI-recommended mental models for problem-solving and decision-making.

The first MCP server for NetLogo, enabling AI assistants to create, run, and analyze agent-based models through natural conversation.

A Model Context Protocol server that enables interaction with Anki flashcards through AnkiConnect, providing organized tools for managing decks, notes, cards, models, and media files.

Enables AI models to interact with YouTube content through video search, channel information, transcripts, comments, trending videos, and content analysis tools including quiz and flashcard generation.

Enables AI assistants to directly manage Anki flashcards, decks, notetypes, tags, and media, with support for batch operations, searches, and deck exports via file-based input/output.

Enhances large language models with competitive programming knowledge by leveraging OI-Wiki content through vector search, allowing models to retrieve relevant algorithms and techniques.

An interactive learning assistant that helps developers understand AI-generated code changes through quizzes and blocking learning sessions. It tracks and searches debugging experiences using RAG to ensure users build long-term technical understanding rather than just copy-pasting solutions.

A TypeScript-based server that integrates with Anki via the AnkiConnect plugin, allowing you to manage flashcard decks, note models, and create Anki notes using natural language.

Enables large language models like Claude to automatically generate flashcards and sync them with Anki decks via a Dockerized MCP server using the AnkiConnect add-on.

An MCP server that provides access to Stern, a philosophical AI mentor combining rationalist thinking with stoic philosophy to guide users through personalized mentorship and smart contract accountability on Solana.

MCP server for integrating AI models with Emeritus services, enabling user management, tag operations, order management, and leads import via a standardized interface.

Enables interaction with the Anki desktop flashcard application through the Anki-Connect plugin. Supports managing decks, cards, notes, and models, allowing AI assistants to create and query flashcards through natural language.

Enables MCP-capable AI clients to act as a teacher's assistant for the Maketka 3D modeling service: read anonymized student work, draft lesson reviews, create assignments, and build 3D models and circuits in the open editor.

Wraps the Judge0 evaluation stack into a local algorithm-problem judging service that exposes seven tools to MCP clients, enabling models to browse problems, self-test against public samples, and submit solutions for full hidden-test grading. Judging parameters, submission limits, and hidden-data access are enforced server-side so models cannot bypass them.

Enables developers to compare their code predictions against AI-generated implementations, log misconceptions, and receive spaced-repetition learning feedback to guide their understanding of gaps.

Provides offline verb conjugation and morphological analysis for Arabic, Spanish, English, and French, with tools for searching, identifying forms, and retrieving verb models.

An integration server that allows AI models to query Practera's GraphQL API for learning data, enabling LLMs to analyze and manipulate educational projects and assessments.