Prooflane MCP Skill

Use this skill when an agent needs to **clone, install, configure, verify, and

use Prooflane's current MCP and local product surfaces** without overclaiming

package-registry or hosted distribution that does not exist yet.

Use When

• You want to evaluate Prooflane from the canonical public repository.
• You want to connect Codex, Claude Code, OpenClaw, or another MCP-capable

client to Prooflane's repo-native MCP server.

• You need a truthful walkthrough for local UI first-look, MCP setup, and

governed run verification.

Truthful Boundaries

• Prooflane is public and distribution-ready on GitHub today.
• The MCP server is real and repo-native today.
• The package shape @uiq/mcp-server / prooflane-mcp is publish-ready, but

it is not published to npm yet.

• MCP today means stdio only.
• Local stdio startup does not use OAuth; protected HTTP/API and

automation surfaces keep the existing token/header contract.

• Prooflane is not currently a hosted SaaS service.
• This skill is a generic in-repo scaffold. It is not a published skill

marketplace artifact yet.

Prerequisites

• Git
• Node.js 20+
• pnpm
• Python 3.12+
• A local shell session inside the cloned ui-automation-control-plane checkout

Canonical Repo

git clone https://github.com/xiaojiou176-open/ui-automation-control-plane.git
cd ui-automation-control-plane

Install

./scripts/setup.sh

If you already trust the workspace toolchain and only need JS dependencies:

pnpm install

First Local Product Win

Launch the local stress-lab shell:

./scripts/dev-up.sh

What success looks like:

• Command Center on http://127.0.0.1:17373
• API health on http://127.0.0.1:17380/health/
• A visible Stress Lab surface with Runs & Blocks, Flow Studio, and Advanced Review

Repo-Native MCP Start (Today)

Start the current repo-native MCP server from your cloned checkout:

pnpm mcp:start

This is the truthful installation path today.

Publish-Ready Package Shape (Not Published Yet)

Once the MCP package is actually published, the intended command shape is:

npx -y @uiq/mcp-server

or:

pnpm dlx @uiq/mcp-server

Do not claim this package is published until registry publication really happens.

Minimal MCP Client Configuration

Repo-native today

{
  "mcpServers": {
    "uiq": {
      "command": "pnpm",
      "args": ["mcp:start"],
      "cwd": "/absolute/path/to/ui-automation-control-plane",
      "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"
      }
    }
  }
}

Environment Variables

• UIQ_MCP_API_BASE_URL

Use this to point MCP at a different backend lane.

• UIQ_MCP_TOOL_GROUPS

Use this to opt into optional MCP tool groups.

• UIQ_MCP_PERFECT_MODE

Keeps stricter MCP defaults.

• AUTOMATION_API_TOKEN

Needed only when token-protected HTTP/API surfaces are enabled.

Minimal Verification

Run these from your cloned ui-automation-control-plane checkout:

pnpm mcp:check
pnpm mcp:build
pnpm mcp:package:smoke
pnpm mcp:doc:contract
pnpm mcp:smoke

Expected result:

• TypeScript check passes
• build emits services/mcp-server/dist/
• package smoke keeps the stdio server alive through startup
• docs contract passes
• MCP smoke passes

Start here

1. Read references/INSTALL.md
2. Load the right host config from:
• references/OPENHANDS_MCP_CONFIG.json
• references/OPENCLAW_MCP_CONFIG.json
3. Skim the tool surface in references/CAPABILITIES.md
4. Run the first review loop from references/DEMO.md
5. If attach or proof fails, use

references/TROUBLESHOOTING.md