Skip to main content
Glama
72,234 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Semantic Scholar" matching MCP servers:

  • Veris

    vighriday
    A
    license
    A
    quality
    A
    maintenance
    Behavioral verification intelligence for AI coding agents. Reads a TypeScript or JavaScript repo, clusters functions into 25 semantic workflows (Authentication, Payments, Webhooks, Caching, Queue, and more), and emits concrete adversarial probes per workflow. 17 MCP tools, local SQLite state, zero cloud.
    17
    36
    1
    MIT

  • semantic-dom-mcp

    helmif
    A
    license
    A
    quality
    B
    maintenance
    Drives a real Chromium browser to extract a page's DOM into compact Semantic JSON with Playwright-native locators, enabling AI agents to generate consistent, accurate Playwright tests.
    4
    27
    3
    MIT

  • MantisBT MCP Server

    dpesch
    A
    license
    A
    quality
    A
    maintenance
    Integrates MantisBT bug tracker into Claude and other MCP clients via the REST API. Read and manage issues, notes, file attachments, tags, relationships, and monitors — with optional offline semantic search across all issues.
    2
    34
    99
    4
    MIT

  • fenestra-mcp

    richer-richard
    A
    license
    A
    quality
    A
    maintenance
    MCP server for fenestra, a pure-Rust native GUI framework. Renders and verifies native UIs headlessly (no display, no GPU): a typed accessibility tree, semantic query/interact, contrast/focus-order/hit-target checks, screenshot diffing, and motion filmstrips.
    13
    11
    Apache 2.0

  • Agent Web Interface

    drisplabs
    A
    license
    A
    quality
    A
    maintenance
    Gives AI agents a compact, semantic interface to the browser, returning structured page snapshots with stable element IDs instead of raw DOM. Enables agents to navigate, interact, and extract information from web pages efficiently.
    26
    38
    14
    MIT

  • Semantix-verify

    labrat-akhona
    A
    license
    A
    quality
    A
    maintenance
    Semantix-Verify is an MCP server for semantic validation of AI/LLM outputs. It exposes a single tool, verify_text_intent(text, intent_description, threshold), which uses a local quantized NLI cross-encoder (INT8 ONNX) to return a 0.0–1.0 probability that the text satisfies the given intent — and, when it doesn't, a structured correction prompt for agent retry loops. Useful for building com
    1
    5
    MIT

  • twiddle-mcp

    roti-c137
    A
    license
    A
    quality
    B
    maintenance
    An MCP server that lets coding agents drive and verify mobile apps on iOS Simulator and Android Emulator, providing blocking wait primitives and semantic UI diffs to replace screenshot polling.
    13
    19
    MIT

  • Elenchus MCP Server

    jhlee0409
    A
    license
    A
    quality
    C
    maintenance
    An adversarial code verification system that uses a Verifier-Critic debate loop to systematically uncover security, correctness, and performance issues. It implements the Socratic method to provide deep semantic analysis and dialectical reasoning beyond traditional static linting.
    36
    10
    4
    MIT

  • FastApply MCP Server

    betmoar
    F
    license
    C
    quality
    D
    maintenance
    Enterprise-grade code intelligence platform providing AI-powered code analysis, semantic search, security scanning, and automated refactoring capabilities. Integrates with local AI models for zero-cost operations while delivering comprehensive development workflow automation.
    2
    8

  • WpfPilot MCP

    skuzadev
    A
    license
    -
    quality
    A
    maintenance
    MCP server for AI agents to automate Windows WPF apps with semantic UI Automation selectors, screenshots, recording, and FlaUI test generation.
    1
    MIT

  • sqlproctor

    debabsah
    A
    license
    -
    quality
    A
    maintenance
    Enables deterministic semantic verification of agent-generated SQL queries against a git-versioned contract, blocking incorrect queries and returning structured feedback for self-correction.
    MIT

  • SpecLinter MCP

    orangebread
    F
    license
    -
    quality
    C
    maintenance
    An AI-powered tool that transforms natural language specifications into structured, actionable development tasks with quality grading and Gherkin test scenarios. It also features semantic similarity detection to prevent duplicate work and validates implementations against original requirements.
    35