prosuite-mcp

MCP server that exposes Dira ProSuite quality verification to AI assistants (Claude, etc.).

Prerequisites

A running ProSuite Quality Verification Server reachable from the host where this server runs.

Configuration

Usage

Windows users: see docs/windows-setup.md for a step-by-step guide including uv and Claude Code installation.

Both options below assume you create a project directory first:

mkdir mytest
cd mytest
uv init --python 3.12
uv add prosuite-mcp

Claude Code CLI

Register the server from inside mytest, then start Claude:

claude mcp add prosuite \
  -e PROSUITE_HOST=localhost \
  -e PROSUITE_PORT=5151 \
  -- uv run prosuite-mcp

claude

The -- uv run prosuite-mcp tells Claude Code to start the MCP server via uv run in the current project, so prosuite-mcp is resolved from the local .venv. Run claude from the same mytest directory each time.

Copilot CLI

Register the server from inside mytest, then start Copilot:

copilot mcp add prosuite \
  -e PROSUITE_HOST=localhost \
  -e PROSUITE_PORT=5151 \
  -- uv run prosuite-mcp

Tools

load_spec <path> — Loads a .qa.xml spec file. Call this at the start of a session with the path to your spec (local drive, OneDrive, network share). Replaces any previously loaded spec.

describe_spec — Describes the loaded spec: available specification_name values, workspace_id keys that need path substitutions, and per-specification dataset lists. Call this before run_xml_verification.

search_spec <query> [max_results] — Searches the loaded .qa.xml spec for conditions matching a natural-language query (English, German, French, Italian). Returns up to max_results (default 20) matching conditions with pre-filled condition_request blocks ready to pass directly to run_verification, plus the required_datasets list. Requires a spec to be loaded first via load_spec.

run_xml_verification — Runs a named QualitySpecification directly from the loaded XML spec, with workspace path substitutions. Unlike run_verification, the XML is sent to ProSuite as-is, preserving per-condition dataset filters and all other spec details exactly as configured. Preferred whenever a .qa.xml spec exists.

list_conditions [search] — Lists available quality conditions. Pass a keyword to filter by name or description.

describe_condition <name> — Shows the full docstring and parameter list for a condition, including which parameters expect dataset names vs. primitive values.

run_verification — Runs an ad-hoc quality verification against a workspace. Key parameters:

Returns a summary with status, total_errors, and a per-condition breakdown.

condition_to_xml — Previews the <QualityCondition> XML for a single condition, without touching any spec. Requires an existing test_descriptor alias (e.g. MinLength(1)); does not look one up for you. Mainly useful for inspecting parameter serialization in isolation — add_condition_to_spec is the tool for actually adding a condition to a spec.

add_condition_to_spec — Previews adding a new QualityCondition to a spec: resolves an existing <TestDescriptor> whose test class matches (never synthesizes one), and returns the full updated spec XML with the condition appended and wired into the named QualitySpecification. Pure preview — it never writes to a file, so review the result before persisting it. Reads the currently loaded/configured spec unless spec_xml is passed explicitly.

preview_condition_run — Runs a single proposed condition ad-hoc and returns the actual flagged features (same summary shape as run_verification), so a condition from add_condition_to_spec can be judged by what it flags before being merged into a spec, not just by whether it builds.

Example

Once connected, you talk to Claude in plain language:

Check road connectivity in C:/data/tlm.sde.

With a spec loaded, Claude calls search_spec to find the relevant pre-configured conditions from the .qa.xml file, then calls run_verification with the pre-filled parameters and returns a summary of errors per condition.

Without a spec, Claude uses list_conditions and describe_condition to find and configure conditions from scratch.

Development

uv sync --dev
uv run pytest
uv run ruff check src
uv run pyright src

License

MIT — see LICENSE.