Skip to main content
Glama
83,021 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

  • A
    license
    A
    quality
    A
    maintenance
    Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.
    6
    16
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    MCP server for agent-readiness auditing of websites, providing tools to audit URLs, bulk audit up to 50 URLs, compare multiple URLs, and fetch a leaderboard of top agent-ready sites.
    4
    4
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    AI consensus market oracle for crypto traders and autonomous agents. BUY/SELL/HOLD signals with 11-signal consensus (RSI, MACD, funding rate, Fear & Greed, congressional trading, Polymarket edges). Ed25519-signed. x402 micropayments on Base.
    9
    1
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Extract content from URLs, documents, videos, and audio files using intelligent auto-engine selection. Supports web pages, PDFs, Word docs, YouTube transcripts, and more with structured JSON responses.
    2
    169
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    A server that provides data retrieval capabilities powered by Chroma embedding database, enabling AI models to create collections over generated data and user inputs, and retrieve that data using vector search, full text search, and metadata filtering.
    13
    589
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    MCP server providing structured continuity memory for AI coding agents, tracking decisions, open loops, and session state in local SQLite. Enables agents to resume work from verified state across sessions without replaying transcripts.
    17
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    Karma economy for AI agents and humans. Submit good actions, get community attestations, earn on-chain reputation. Karma-weighted verification, slashing, Kleros disputes. 5 MCP tools: submit_action, attest_action, get_karma, get_action_detail, get_leaderboard.
    10
    5
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    Read-only-by-default MCP server for Datanika, an open-source dlt + dbt-core data pipeline platform: browse connections, introspect and preview source tables, compile and run dbt transformations, and monitor pipeline runs. 25 tools (17 read-only, plus 8 write tools gated behind --allow-write); source lives in the datanika-mcp/ subdirectory of the repo.
    25
    AGPL 3.0
  • A
    license
    A
    quality
    C
    maintenance
    Enables local-first specialist routing and evidence-based handoffs, including changelog management, continuity records, and allowlisted local Git snapshot and commit operations.
    8
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    A Model Context Protocol server that enables Claude Desktop and other MCP clients to interact with TrueNAS Core systems through the TrueNAS API, supporting user management, storage operations, sharing, and snapshot creation.
    20
    30
    MIT
  • A
    license
    B
    quality
    C
    maintenance
    Production-grade, autonomous Model Context Protocol (MCP) server that elevates AI models from stateless code generators into persistent, self-verifying software engineers.
    21
    1
    MIT