This is the public navigation map for Prooflane. Start with the layer that matches the WebUI-testing job you actually want to do, then go deeper only when you need more detail.
Prooflane is already public through GitHub + GitHub Pages + public-safe docs, but it is not claiming package-registry or marketplace distribution that has not happened yet.
@uiq/mcp-server, the planned prooflane-mcp CLI shape, and other external
distribution listings that are prepared but not published.docs/skills/prooflane-mcp/ is listed live
on ClawHub and still review-pending on OpenHands/extensions; that host state
belongs to the companion skill lane only.Quick map:
README.md + docs/get-started.mddocs/proof-center.mdservices/mcp-server/ docs + docs/skills/prooflane-mcp/docs/reference/public-readiness.md before treating homepage/release/discussion
state as fresh factUse these two short pages when you want the truth without reading the full architecture stack:
| If you are trying to… | Read this first | Then go here |
|---|---|---|
| Understand the product without local setup | docs/examples/public-stress-lab-guided-demo.md | README.md |
| Understand the stress-lab story in 30 seconds | README.md | docs/why-prooflane.md |
| Get a localhost-first result fast | docs/get-started.md | docs/how-to/mcp-quickstart-1pager.md |
| Connect Codex, Claude Code, or another MCP-capable client | docs/how-to/mcp-agent-review-loop.md | docs/how-to/mcp-clients-setup.md |
| See bilingual operator guidance in the Command Center | README.md | docs/get-started.md |
| Understand the testing pyramid and coverage gates | docs/reference/testing-strategy.md | docs/quality-gates.md |
| Review the public launch story | docs/releases/v0.1.0-public-launch.md | docs/releases/v0.1.0-public-closure.md (historical snapshot) |
| Judge whether the repo is credible | docs/proof-center.md | docs/reference/ci-governance.md |
| Understand the runtime and architecture | docs/architecture.md | docs/reference/universal-api.md |
These docs describe the companion integration lane. They are real and usable today, but they are not the primary Prooflane product story.
@uiq/mcp-server / prooflane-mcpSuggested roles:
docs/how-to/mcp-clients-setup.mddocs/how-to/mcp-clients-setup.mddocs/mcp.md for proof, brief, and campaign
tools| Task type | Read first | Gate path |
|---|---|---|
| Docs and public-surface work | docs/ai/agent-guide.md + docs/index.md | docs/quality-gates.md for gate semantics, then the exact repo fast command from docs/ai/agent-guide.md / package.json |
| Code changes | docs/ai/agent-guide.md + docs/architecture.md | docs/quality-gates.md for delivery-gate semantics, then the exact fast/full command from docs/ai/agent-guide.md / package.json |
| Full acceptance | docs/ai/agent-guide.md | docs/quality-gates.md for parity expectations, then the exact full-acceptance command from docs/ai/agent-guide.md / package.json |
| Public release review | docs/proof-center.md + docs/reference/public-readiness.md | docs/quality-gates.md plus the release-boundary commands recorded in docs/ai/agent-guide.md / package.json |
rg -n "<keyword>" docs scripts backend frontend packagessg -p '<AST_PATTERN>' backend frontend packagesbash scripts/dev/ast-search.sh '<AST_PATTERN>' backend frontend packagesrg --files docs | rg "agent|guide|gate|readme"