[WIP] Opto demo - #2337

Open

aarondr77 wants to merge 16 commits into

devfrom

Commits on May 20, 2026

opto demo
aarondr77
committed
9815457
merge
aarondr77
committed
7df1147

Commits on May 25, 2026

mito-ai: cleanup
aarondr77
committed
46666d1

Commits on May 26, 2026

mito-ai: new demos
aarondr77
committed
0861b02
Merge branch 'dev' into opto-demo
aarondr77
committed
71e87d2

Commits on May 27, 2026

mito-ai: update demos
aarondr77
committed
77ad6e8

Commits on Jun 2, 2026

resolve merge conflicts
aarondr77
committed
63ce3f7

Commits on Jun 11, 2026

verified report snippets
aarondr77
committed
fead7ee
mito-ai-core: update backend for verified report snippets
aarondr77
committed
fdb19bd
mito-ai: fix pydantic model
aarondr77
committed
b5bfeab
mito-ai: add inline verification badge
aarondr77
committed
545e69d
improve verified code citations
aarondr77
committed
bc712a9
mito-ai: interactive assumptions
aarondr77
committed
04aa497
mito-ai: instant comment
aarondr77
committed
e1a7592
mito-ai: explicit error stopping
aarondr77
committed
de10027
mito-ai: finance demo
aarondr77
committed
c352cfe