koopmannleon19977-cmyk

koopmannleon19977-cmyk/proofborne

The coding agent that proves its work.

0 stars 0 forks 0 watchers Rust Apache License 2.0

acp ai-agent coding-agent mcp open-source proof rust tui

6 Open Issues Need Help Last updated: Jul 30, 2026

Open Issues Need Help

View All on GitHub

Usability U5: P3B graph run (owner-executed S7 evidence) 5 days ago

help wanted usability evaluation release-owner

koopmannleon19977-cmyk/proofborne

0

The coding agent that proves its work.

Rust

#acp#ai-agent#coding-agent#mcp#open-source#proof#rust#tui

External testers wanted: v0.1.0-alpha.3 usability matrix 5 days ago

help wanted usability evaluation release-owner

koopmannleon19977-cmyk/proofborne

0

The coding agent that proves its work.

Rust

#acp#ai-agent#coding-agent#mcp#open-source#proof#rust#tui

Usability U4: crates.io cargo install 7 days ago

help wanted usability evaluation

koopmannleon19977-cmyk/proofborne

0

The coding agent that proves its work.

Rust

#acp#ai-agent#coding-agent#mcp#open-source#proof#rust#tui

Usability U3: Windows x86_64 ZIP installer 7 days ago

help wanted usability evaluation

koopmannleon19977-cmyk/proofborne

0

The coding agent that proves its work.

Rust

#acp#ai-agent#coding-agent#mcp#open-source#proof#rust#tui

Usability U2: macOS Apple Silicon ZIP installer 7 days ago

help wanted usability evaluation

koopmannleon19977-cmyk/proofborne

0

The coding agent that proves its work.

Rust

#acp#ai-agent#coding-agent#mcp#open-source#proof#rust#tui

Usability U1: Linux x86_64 ZIP installer 7 days ago

help wanted usability evaluation

koopmannleon19977-cmyk/proofborne

0

The coding agent that proves its work.

Rust

#acp#ai-agent#coding-agent#mcp#open-source#proof#rust#tui