Issues

• [PR-018] Make standalone Corpus tests self-contained

  help wantedproduct: proof-runnerrole: developerstatus: ready
  ever-guild/proof-runner#43 · Filter by author ilyar opened on Jul 27, 2026

• [PRVC-CERT] Certify Corpus 1.0 across hosts and offline OCI

  help wantedproduct: proof-runnerrole: testerstatus: blocked
  ever-guild/proof-runner#29 · Filter by author ilyar opened on Jul 24, 2026

• [PRVC-APPLY] Apply the Corpus to the live ProofRunner API

  help wantedproduct: proof-runnerrole: developerstatus: blocked
  ever-guild/proof-runner#28 · Filter by author ilyar opened on Jul 24, 2026
  5

• [PRVC-APPROVE] Obtain external critic APPROVE for Corpus 0.1.0

  help wantedproduct: proof-runnerrole: testerstatus: blocked
  ever-guild/proof-runner#27 · Filter by author ilyar opened on Jul 24, 2026
  1

• [PRD] ProofRunner MVP for OKX.AI Genesis

  epichelp wantedproduct: proof-runnerrole: plannerscope: P0status: blocked
  Feature

  ever-guild/proof-runner#12 · Filter by author ilyar opened on Jul 23, 2026 · ProofRunner MVP (OKX.AI Genesis)

• [PR-011] Resolve infrastructure and OKX readiness

  help wantedproduct: proof-runnerrole: developerscope: P0status: blocked
  Task

  ever-guild/proof-runner#11 · Filter by author ilyar opened on Jul 23, 2026 · ProofRunner MVP (OKX.AI Genesis)
  1

• [PR-009] Build the operational landing and agent discovery surfaces

  help wantedproduct: proof-runnerrole: developerscope: P0status: blocked
  Task

  ever-guild/proof-runner#9 · Filter by author ilyar opened on Jul 23, 2026 · ProofRunner MVP (OKX.AI Genesis)
  3

• [PR-008] Complete the OKX.AI hackathon submission

  help wantedproduct: proof-runnerrole: developerscope: P0status: blocked
  Task

  ever-guild/proof-runner#8 · Filter by author ilyar opened on Jul 23, 2026 · ProofRunner MVP (OKX.AI Genesis)

• [PR-007] Validate the release candidate

  help wantedproduct: proof-runnerrole: testerscope: P0status: blocked
  Task

  ever-guild/proof-runner#7 · Filter by author ilyar opened on Jul 23, 2026 · ProofRunner MVP (OKX.AI Genesis)

• [PR-006] Deploy ProofRunner and register the A2MCP ASP

  help wantedproduct: proof-runnerrole: developerscope: P0status: blocked
  Task

  ever-guild/proof-runner#6 · Filter by author ilyar opened on Jul 23, 2026 · ProofRunner MVP (OKX.AI Genesis)
  6

  

• [PR-005] Build the verification UI and deterministic demo

  help wantedproduct: proof-runnerrole: developerscope: P0status: blocked
  Task

  ever-guild/proof-runner#5 · Filter by author ilyar opened on Jul 23, 2026 · ProofRunner MVP (OKX.AI Genesis)
  2