ui-automation-control-plane

MCP Server

Start

pnpm mcp:start

Server entrypoint: services/mcp-server/src/server.ts (stdio transport).

Package Truth

Default backend note:

Client Config Shapes

Repo-native today

{
  "mcpServers": {
    "uiq": {
      "command": "pnpm",
      "args": ["mcp:start"],
      "cwd": "/ABSOLUTE/PATH/TO/REPO",
      "env": {
        "UIQ_MCP_API_BASE_URL": "http://127.0.0.1:18080",
        "UIQ_MCP_TOOL_GROUPS": "advanced,analysis,proof"
      }
    }
  }
}

Publish-ready package shape (not live yet)

{
  "mcpServers": {
    "uiq": {
      "command": "npx",
      "args": ["-y", "@uiq/mcp-server"],
      "env": {
        "UIQ_MCP_API_BASE_URL": "http://127.0.0.1:18080",
        "UIQ_MCP_TOOL_GROUPS": "advanced,analysis,proof"
      }
    }
  }
}

This second shape is the intended package entry once @uiq/mcp-server is actually published. It is not truthful to claim that command works from a registry today. The package keeps the scoped name @uiq/mcp-server in this pass, while the bin inside it remains prooflane-mcp.

Builder Entry

If you are deciding whether to integrate through MCP or HTTP, read docs/reference/integration-entrypoints.md first.

Short version:

Run Lane Map

These tools are related, but they do not share a single execution ledger or a single output contract.

Proof/review ownership note:

What MCP Is And Is Not

MCP is a real adapter layer in this repo.

That means:

It does not mean:

Think of it like a translator booth at a conference:

Default Tool Surface (Core 12)

Only the 12 core tools are exposed by default:

  1. uiq_backend_runtime
  2. uiq_api_sessions
  3. uiq_api_flows
  4. uiq_api_templates
  5. uiq_api_runs
  6. uiq_catalog
  7. uiq_server_selfcheck
  8. uiq_run_profile
  9. uiq_run_stream
  10. uiq_run_overview
  11. uiq_read_artifact
  12. uiq_gate_failures

Optional Tool Groups

Enable optional groups only when needed: advanced/register/proof/analysis.

# analysis + proof only
UIQ_MCP_TOOL_GROUPS=analysis,proof

# all optional groups
UIQ_MCP_TOOL_GROUPS=all

Legacy compatibility: UIQ_MCP_EXPOSE_ADVANCED_TOOLS=true or UIQ_MCP_ENABLE_ADVANCED_TOOLS=true enables every optional group.

Full Registered Tool Inventory (40)

Wave 2 note:

  1. uiq_a11y_top
  2. uiq_api_automation_cancel
  3. uiq_api_automation_commands
  4. uiq_api_automation_run
  5. uiq_api_automation_task
  6. uiq_api_automation_tasks
  7. uiq_api_flows
  8. uiq_api_runs
  9. uiq_api_sessions
  10. uiq_api_templates
  11. uiq_backend_runtime
  12. uiq_catalog
  13. uiq_compare_perf
  14. uiq_computer_use_run
  15. uiq_diff_proof_campaign
  16. uiq_export_proof_bundle
  17. uiq_gate_failures
  18. uiq_list_runs
  19. uiq_model_target_capabilities
  20. uiq_perf_metrics
  21. uiq_read_artifact
  22. uiq_read_manifest
  23. uiq_read_proof_report
  24. uiq_read_repo_doc
  25. uiq_register_orchestrate
  26. uiq_register_state
  27. uiq_run_command
  28. uiq_run_overview
  29. uiq_run_profile
  30. uiq_run_proof_campaign
  31. uiq_run_stream
  32. uiq_security_summary
  33. uiq_server_selfcheck
  34. uiq_summarize_failures
  35. uiq_visual_status
  36. uiq_read_run_ai_review
  37. uiq_generate_release_brief
  38. uiq_find_similar_failures
  39. uiq_explain_template_feasibility
  40. uiq_list_manual_gates

Role Paths

Operator Path

Use this path when you need to inspect status, clear manual blockers, and read release summaries without leaving the governed runtime.

  1. uiq_server_selfcheck
  2. uiq_run_profile or uiq_run_stream
  3. uiq_run_overview
  4. uiq_list_manual_gates
  5. uiq_generate_release_brief

Agent Path

Use this path when an MCP-capable agent needs read-mostly context before asking for any sensitive action.

  1. uiq_catalog
  2. uiq_read_artifact
  3. uiq_read_run_ai_review
  4. uiq_generate_release_brief
  5. uiq_find_similar_failures

Builder note:

Release Reviewer Path

Use this path when the job is to compare governed evidence and decide whether a candidate is ready for a human decision.

  1. uiq_run_proof_campaign
  2. uiq_read_proof_report
  3. uiq_diff_proof_campaign
  4. uiq_generate_release_brief
  5. uiq_explain_template_feasibility
  1. uiq_server_selfcheck
  2. uiq_catalog
  3. uiq_run_profile or uiq_run_stream
  4. uiq_run_overview
  5. uiq_gate_failures (when a gate is not passing)
  6. uiq_read_artifact

For decision-plane workflows:

  1. uiq_run_proof_campaign
  2. uiq_read_proof_report
  3. uiq_diff_proof_campaign
  4. uiq_compare_perf
  5. uiq_generate_release_brief
  6. uiq_list_manual_gates
  7. uiq_find_similar_failures

Approval And Truth-Owner Policy

Later / No-Go

Later

No-go for current claims

run override fields accepted (runOverrideSchema)

Legacy Fields (Not in run override)

Legacy fields browser/platform/device/headless/timeout/env are intentionally excluded.

URL Policy Boundary

Use CLI-side explicit opt-in when URL policy must be opened: allowAllUrls=true. MCP run override input does not expose allowAllUrls to callers.

Resources

This site is open source. Improve this page.