Research Direction Selector: automated assistance to human research through evidence-driven experiment decisions, execution checks, Advisor, memory and Lean4 collaboration.
Python Updated about 1 month ago 1 commits 3 stars
helix-ai|Mirror: kongtou20070406/research-direction-selector (⭐3)
about 1 month agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Research Direction Selector: automated assistance to human research through evidence-driven experiment decisions, execution checks, Advisor, memory and Lean4 collaboration.
Readme
3 stars