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

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

Open Issues Need Help

View All on GitHub

External testers wanted: v0.1.0-alpha.2 usability matrix about 1 hour 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 U4: crates.io cargo install about 1 hour 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 about 1 hour 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 about 1 hour 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 about 1 hour 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