Open Issues Need Help
View All on GitHub documentation help wanted
kongtou20070406/research-direction-selector kongtou20070406/research-direction-selector Evidence-driven autoresearch for academic research. Plan experiments, enforce budgets, preserve execution receipts, and verify supported results with Codex, Claude Code and Lean.
Open project →
7
Evidence-driven autoresearch for academic research. Plan experiments, enforce budgets, preserve execution receipts, and verify supported results with Codex, Claude Code and Lean.
Python
#academic#academic-research#agent-skills#ai-research#auto-research#autonomous-research#autoresearch#causal-inference#cli#codex#experiment-design#formal-verification#hypothesis-testing#lean4#obelisk#python#reproducible-research#research-assistant#research-automation#research-workflow