A
licenseA
qualityC
maintenanceAn MCP server for agent-guided DSA practice that generates LeetCode-style problems and provides tutoring with escalating hints, concept explanations, and progress tracking.
7
7
MIT
72,464 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
com.microsoft
com.learnthedao
app.learnwithagents
io.github.capabilityhostprotocol
"scikit-learn" matching MCP servers:
- AlicenseAqualityBmaintenanceAn agent-native teaching OS that gives AI assistants a persistent classroom with courses, lessons, flashcards, and graded exercises via MCP tools.503MIT
- AlicenseAqualityAmaintenanceEmbedded, local-first agent memory: facts extracted into a per-namespace SQLite file (vec0 + FTS5) with hybrid retrieval and point-in-time (time-travel) queries. ADD-only history over stdio — no server process, no cloud dependency.16747Apache 2.0
- AlicenseAqualityCmaintenanceAn MCP server that makes your AI agent learn and evolve by capturing feedback as reusable, persistent skills that improve over time.101MIT
- AlicenseAqualityBmaintenanceA local-first MCP server that ingests PDFs, extracts structure, and provides semantic search and sequential navigation tools for AI clients to query and learn from documents.10MIT
- AlicenseAqualityCmaintenanceMCP server for persistent, compounding memory that automatically captures corrections and insights across AI sessions, enabling agents to learn and improve over time.5364MIT
- AlicenseAqualityAmaintenanceEnables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.23475MIT
- AlicenseAqualityCmaintenanceA package manager for AI agents that connects LLMs to a global registry of capabilities, allowing them to autonomously discover, install, and learn new skills from a centralized repository.43MIT
- AlicenseAqualityAmaintenanceAn MCP server that provides AI trading agents with persistent, outcome-weighted memory to learn from historical performance and detect behavioral biases. It enables agents to automatically adjust strategies and optimize position sizing based on context-aware recall of past trade outcomes.201,408MIT
- AlicenseAqualityDmaintenanceEnables Claude to remember conversations and learn over time by storing and recalling messages, memory abstracts, and recent history using a local SQLite database.42572MIT
- AlicenseAqualityBmaintenanceEnables AI agents to learn from their sessions by inspecting history, proposing rules or skills, and automatically persisting them to configuration files.4MIT
- AlicenseAqualityBmaintenanceEnables low-cost agent models to control Windows applications through a compact, state-safe proxy over Open Computer Use, reducing model-visible context by up to 99.8% with support for record/replay and reusable UI component memory.5MIT
- FlicenseAqualityCmaintenanceEnables structured learning with a verified loop: define goals as observable claims, learn through teach-lab-test-gate per claim, and get independently graded by an adversarial examiner to ensure genuine progress.6
- AlicenseBqualityCmaintenanceMCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.2120MIT
- FlicenseBqualityDmaintenanceA productivity coaching assistant designed for ADHD support that provides intelligent task management, goal tracking, and personalized recommendations. It utilizes a persistent memory system to learn user patterns and preferences, helping to reduce decision paralysis through actionable suggestions.281
- AlicenseBqualityDmaintenanceLocal workspace memory for Claude Desktop. Indexes documents into a vector store with hybrid search, cross-session memory, auto-learn, and knowledge graph.5816AGPL 3.0