proof-runner good first issues (TypeScript)

[PR-006] Deploy ProofRunner and register the A2MCP ASP 3 months 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

[PRVC-CERT] Certify Corpus 1.0 across hosts and offline OCI 3 months 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 3 months 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 3 months 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 3 months 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 3 months 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 3 months 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 3 months 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 3 months 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 3 months 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 3 months 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

ever-guild/proof-runner

Open Issues Need Help