Research Direction Selector: automated assistance to human research through evidence-driven experiment decisions, execution checks, Advisor, memory and Lean4 collaboration.
Python Updated 18 days ago 1 commits 3 stars
helix-ai|Mirror: kongtou20070406/research-direction-selector (⭐3)
18 days 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