ever-guild/proof-runner

[PR-006] Deploy ProofRunner and register the A2MCP ASP about 1 hour ago

help wanted status: blocked role: developer scope: P0 product: proof-runner

5

proof that the agent's work actually works

TypeScript

[PRVC-CERT] Certify Corpus 1.0 across hosts and offline OCI about 1 hour ago

help wanted status: blocked role: tester product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PR-018] Make standalone Corpus tests self-contained about 1 hour ago

help wanted status: ready role: developer product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PRVC-APPLY] Apply the Corpus to the live ProofRunner API about 1 hour ago

help wanted status: blocked role: developer product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PRD] ProofRunner MVP for OKX.AI Genesis about 1 hour ago

help wanted status: blocked role: planner scope: P0 product: proof-runner epic

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PRVC-APPROVE] Obtain external critic APPROVE for Corpus 0.1.0 about 1 hour ago

help wanted status: blocked role: tester product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PR-011] Resolve infrastructure and OKX readiness about 1 hour ago

help wanted status: blocked role: developer scope: P0 product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PR-008] Complete the OKX.AI hackathon submission about 1 hour ago

help wanted status: blocked role: developer scope: P0 product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PR-009] Build the operational landing and agent discovery surfaces about 1 hour ago

help wanted status: blocked role: developer scope: P0 product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PR-007] Validate the release candidate about 1 hour ago

help wanted status: blocked role: tester scope: P0 product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

[PR-005] Build the verification UI and deterministic demo about 1 hour ago

help wanted status: blocked role: developer scope: P0 product: proof-runner

ever-guild/proof-runner

5

proof that the agent's work actually works

TypeScript

Open Issues Need Help