verifAIed

Connect Remote server

claude mcp add --transport http verifaied https://verifaied.app/mcp/ --header "Authorization: Bearer <YOUR_API_KEY>"

{
  "mcpServers": {
    "verifaied": {
      "url": "https://verifaied.app/mcp/",
      "headers": {
        "Authorization": "Bearer <YOUR_API_KEY>"
      }
    }
  }
}

{
  "servers": {
    "verifaied": {
      "type": "http",
      "url": "https://verifaied.app/mcp/",
      "headers": {
        "Authorization": "Bearer <YOUR_API_KEY>"
      }
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://verifaied.app/mcp/

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools 15 found in our last check

• check_done

  Am I done? The stop condition for a coding loop. **Free — no subscription, no token budget, no rate limit.** Composes what verifAIed already knows about a branch — failing tests plus the coverage of the functions you changed — into a single verdict you can gate on: - ``done`` (b…

• setup

  Set verifAIed up for a repository. **Free.** Call this first after the verifAIed MCP is connected, and again after each step. Pass the repository as ``owner/repo`` from the git remote (a repo UUID also works) and the current git branch; the default branch is used when ``branch``…

• docs

  The verifAIed documentation, for you and for the user's questions. **Free.** Call this whenever the user asks how something in verifAIed works or how to do something with it, and whenever you are unsure what a tool, a command, a gap or an error means. Three ways to call it: - no…

• fix_branch

  Return the fix-it prompt the web UI's 'Generate prompt for everything wrong' button produces for a branch — the common-case one-shot for "fix everything broken here". Resolves the repo + branch, finds the latest analysis, generates (or fetches a cached) bulk prompt, and waits up…

• list_repositories

  List the caller's repositories. Wraps the same data the web UI's repo list shows. For the common 'fix everything wrong on a branch' workflow, prefer ``fix_branch`` — it takes 'owner/repo' directly and you usually know that from the working directory / git remote.

• list_analyses

  List analyses for the given repository, newest first. ``repository_id`` is the GitHub ``owner/repo`` (a repo UUID also works). Mirrors the BranchView's per-branch state. ``commit_sha`` is the commit the analysis was refreshed against. For the common 'fix everything wrong on a br…

• list_untested_functions

  List functions in an analysis, filtered by coverage state. ``state_filter`` is a comma-separated subset of ``untested,partial,covered``. Default skips fully-covered functions — those are typically what an agent looking for "tests to write" cares about. Rows include React sub-uni…

• get_function_detail

  Source + uncovered lines for one function. The agent typically calls this after ``list_untested_functions`` to pick a target and write tests for it directly without going through the prompt generator.

• get_baseline_prompt

  Get a ready-to-use test prompt for one function. **Free — no subscription, no token budget, no rate limit.** Rendered deterministically from the function's AST plus its coverage rows: the signature, what to call, which exact lines never execute, which branches only go one way, w…

• upload_local_coverage

  Upload local coverage + current source and get back what's still untested — the core self-correction loop for writing tests without waiting on CI. Works for Python (pytest-cov) and TypeScript/JavaScript (vitest + Istanbul). ``coverage_kind`` selects the dimension: ``"unit"`` (de…

• clear_manual_coverage

  Reset the accumulated **manual-recording** dimension for a branch. Manual uploads are **additive**: each ``upload_local_coverage`` with ``coverage_kind="manual"`` unions that hand-driven session into the branch's manual dimension, so you can build a pass up one flow at a time. C…

• verify_ui

  Judge a screenshot of the running UI. **Paid.** You drive the browser; verifAIed judges what you got. Take a screenshot of the change you just made, say what it was supposed to do, and this returns a verdict — plus records it, so ``check_done`` can hold the branch to it. Two mod…

• get_generated_prompt

  Return a meta-prompt for writing tests for the function. Cache hits return immediately. Cache misses enqueue a fresh generation and poll the row for up to ``wait_seconds``. On timeout the agent gets the ``generation_id`` and can call ``wait_for_prompt`` to keep waiting.

• get_bulk_prompt

  Return a single meta-prompt covering many items in an analysis. ``scope`` selects which slice to aggregate: - ``untested`` — all functions with no tests yet - ``partial`` — all functions only partially covered - ``failing`` — all failing tests - ``everything`` — failing tests pl…

• wait_for_prompt

  Poll a prompt generation row until it transitions to completed or failed, or until the timeout. The companion to ``get_generated_prompt`` — call this if the first call returned ``status: pending``.

Headers

Details

More developer tools servers See all

• Pitbi

  Verified answers for trading bots: Decibel, Hyperliquid, Lighter, GMX docs, Decibel data, sandbox.

• UptimeX

  Create, test, and manage uptime monitors for websites and APIs from your AI agent.

• Ariadne Nexus Institutional Quantitative Engine

  Fixed-income CUSIP valuation, FINRA TRACE radar, portfolio VaR, OFAC screening, and RWA clearing.

• Bookatu docs

  Bookatu's help centre, blogs and developer docs. Read only, no key needed.

• Kroel Graphics Docs

  Lee y busca las páginas de Kroel Graphics en Markdown. Solo lectura.

• Submitator

  Launch your clients' products on up to 110 directories each from Claude, ChatGPT, Cursor or VS Code.