ChongCyrus3
A multi-agent framework for solving math problems with formal verification.
$ dsh plugin --profile web add dsh-vibe-math
ChongCyrus
github.com/ChongCyrus ↗1
plugins
★ 3
Total stars
- ChongCyrus
1
plugins
★ 3
Total stars
ChongCyrusA multi-agent framework for solving math problems with formal verification.
$ dsh plugin --profile web add dsh-vibe-math