Skip to main content
Glama
Correctover

Correctover MCP Server

Official
by Correctover
OverviewSchemaSourceRelated ServersDiscussions(1)Admin
Python
Local

Related Servers

Alternatives to Correctover MCP Server

  • AgentOps EvalBench MCP

    AbhinavVarma02
    A
    license
    Not graded
    quality
    A
    maintenance
    Enables LLM evaluation and observability by uploading documents, building test sets, running RAG pipelines, and automatically scoring answers for groundedness, hallucination risk, retrieval quality, latency, and cost, with tools exposed to MCP-compatible clients.
    1
    MIT

  • Dominion Observatory

    vdineshk
    A
    license
    Not graded
    quality
    D
    maintenance
    Tracks MCP server behavior from agent-reported interactions. Provides trust scores, behavioral baselines, anomaly detection, and compliance audit exports for EU AI Act and Singapore IMDA frameworks.
    13 npm
    1
    MIT

  • Chiasmus

    yogthos
    A
    license
    Not graded
    quality
    A
    maintenance
    MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
    100 npm
    212
    Apache 2.0

  • openai-tool2mcp

    alohays
    A
    license
    B
    quality
    F
    maintenance
    A lightweight bridge that wraps OpenAI's built-in tools (like web search and code interpreter) as Model Context Protocol servers, enabling their use with Claude and other MCP-compatible models.
    4
    12
    MIT

Related Servers

  • perf-mcp by Perf-Technology

    perf-mcpofficial

    Perf-Technology
    A
    license
    A
    quality
    D
    maintenance
    Fact-checks and fixes AI outputs by catching hallucinations, repairing broken JSON, and correcting errors before they reach users, with tools for verification, validation, and correction.
    4
    37 npm
    MIT

  • chuangsiai-mcp

    chuangsiaihub
    A
    license
    Not graded
    quality
    D
    maintenance
    Provides real-time content security for large language models by identifying and intercepting risks across compliance, ethics, and safety dimensions. It enables secure input and output monitoring through a customizable policy engine using an SSE-based interface.
    1
    MIT

  • SentinelMCP

    akemi1tr
    A
    license
    Not graded
    quality
    B
    maintenance
    Analyzes inputs and outputs in real-time to protect against prompt injections, data leaks, secrets exposure, and phishing URLs.
    7 npm
    3
    MIT
Deploy Server
One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

TDQS

A4.3/5.0

Scored across 5 tools

Disambiguation5/5

Each tool has a clearly distinct purpose: chat for sending validated messages, health for checking provider availability, providers for listing all supported providers, stats for session statistics, and validation_history for reviewing past validation results. There is no overlap in functionality.

Naming Consistency5/5

All tool names follow a consistent pattern: single words or compound words with underscores (e.g., validation_history). They are all lowercase and descriptive of their function, making them easy to understand and predict.

Tool Count5/5

With 5 tools, the server is well-scoped for its purpose of managing LLM chat with validation and monitoring. Each tool covers a core aspect without being overly specialized or too sparse.

Completeness5/5

The tool surface covers the full lifecycle of interacting with LLM providers: checking configuration (health, providers), sending messages (chat), reviewing performance (stats), and auditing (validation_history). No obvious gaps are present for the stated purpose.

Maintenance

ActivityMaintained
ResponsivenessSyncing

Resources