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.
@uiq/mcp-server / prooflane-mcp is publish-ready, but
it is not published to npm yet.ui-automation-control-plane checkoutgit clone https://github.com/xiaojiou176-open/ui-automation-control-plane.git
cd ui-automation-control-plane
./scripts/setup.sh
If you already trust the workspace toolchain and only need JS dependencies:
pnpm install
Launch the local stress-lab shell:
./scripts/dev-up.sh
What success looks like:
http://127.0.0.1:17373http://127.0.0.1:17380/health/Start the current repo-native MCP server from your cloned checkout:
pnpm mcp:start
This is the truthful installation path today.
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.
{
"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"
}
}
}
}
{
"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"
}
}
}
}
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.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:
services/mcp-server/dist/