Skip to main content
Glama
97,619 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"scikit-learn" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • A
    license
    A
    quality
    C
    maintenance
    An 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 npm
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Enables AI coding agents to learn, from locally read lockfiles, what changes between the dependency version installed and a target version, which of the user's files that upgrade touches, and which vulnerabilities it resolves. It also performs OSV-matched vulnerability scans, ranks upgrade plans, and stores decision memory, running entirely on the user's machine with no account or API keys.
    11
    1,026 npm
    Apache 2.0
  • A
    license
    A
    quality
    B
    maintenance
    A Model Context Protocol server that gives AI coding agents 16 tools to secure what they build: install the one-line Nemesis Shield SDK, learn/approve/enforce app protection, put a domain behind a Cloudflare-like edge, guard LLMs (OWASP LLM Top 10), and create + score Omniguard business-logic fraud rules. Runs locally over stdio; the discovery tools work with no account.
    16
    363 npm
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Enables AI agents to learn from their sessions by inspecting history, proposing rules or skills, and automatically persisting them to configuration files.
    4
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Enables 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.
    22
    98,803 PyPI
    525
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Enables AI coding agents to perform Lean 4 formal verification, navigate project symbols offline, and inspect C FFI bindings.
    5
    1
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    Failure Memory provides AI coding agents with a shared local memory of failures, enabling them to record, recall, and learn from mistakes across sessions.
    2
    MIT
  • F
    license
    A
    quality
    D
    maintenance
    Enables AI-powered journaling in Obsidian with dynamic reflection prompts generated from recent entries and automatic backlinks between related diary entries. Supports adaptive templates that learn from writing patterns and smart content similarity linking.
    5
    5
    -
  • A
    license
    A
    quality
    B
    maintenance
    A self-hosted MCP server for Linear that reduces response sizes by field-selecting minimal data, saving tokens and costs in LLM agent sessions.
    36
    10 npm
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Provides access to a community knowledge base of 16k+ debugging solutions and 223+ reusable skills, plus auto-scanned project-specific knowledge bases that learn and store solutions as you work.
    14
    15 npm
    MIT