Quick Start#

Five minutes from zero to a generated paper.

1. Install#

git clone https://github.com/EurekaClaw/EurekaClaw
cd EurekaClaw
pip install -e "."
cp .env.example .env

Edit .env and add your ANTHROPIC_API_KEY (or see Authentication).

2. Install Skills#

eurekaclaw install-skills

3. Run Your First Proof#

eurekaclaw prove "The sum of the first n natural numbers equals n(n+1)/2" \
    --domain "combinatorics" --output ./results

Expected output:

━━━━━━━━━━━━━━━ Survey Complete ━━━━━━━━━━━━━━━
 Papers found       3
 Open problems      1
 Key objects        induction, arithmetic series
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

━━━━━━━━━━━━━━━ Theory Complete ━━━━━━━━━━━━━━━
 Status             proved
 Lemmas             2 (1 known · 1 new)
 Confidence         ✓ high on 2
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

🦞 Paper saved to: ./results/<session_id>/paper.pdf

4. Read the Output#

Open ./results/<session_id>/paper.pdf for the compiled paper, or check:

File	Contains
`paper.pdf`	Compiled PDF (needs pdflatex + bibtex)
`paper.tex`	Full LaTeX source
`theory_state.json`	Proof state — lemmas, confidence scores
`research_brief.json`	Planning state

Next Steps#

📖 User Guide

Learn all three input modes, gate control, and tuning options.

User Guide

⚙️ Configuration

Set models, token limits, and pipeline behavior via .env.

Configuration

🌐 Browser UI

Launch the visual interface for live progress and settings sliders.

Browser UI