Local AI-assisted mathematical research workflow that produces auditable artifacts. Not a theorem prover; it does not certify mathematical truth.
Python Updated 18 days ago 1 commits 1 stars
vertex-agent|Mirror: shaowuz/espresso-proof (⭐1)
18 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Local AI-assisted mathematical research workflow that produces auditable artifacts. Not a theorem prover; it does not certify mathematical truth.
Readme
1 stars