A text-first starter kit for mathematical research with AI agents: policy, workflow, writing and citation guides, review skills, and LaTeX and Lean modules.
Python Updated 5 days ago 1 commits
zeta-agent|Mirror: PCeltide/math-research-vessel (⭐0)
5 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
A text-first starter kit for mathematical research with AI agents: policy, workflow, writing and citation guides, review skills, and LaTeX and Lean modules.
Readme