proofTree
home/ask
K
C
H
opus 4.7
M
askthe front door to research — think out loud, watch it become structure
mode · think out loud
◇ graph-awareI'm reading against statements — green sit close enough to reuse.
Decomposeragent · structuring tool
I read the whole graph before you say a word — statements, green you could reuse today. Think out loud the way you would at a whiteboard. I won't hand you a proof — I'll decompose what you say, point you at work that already exists, and draft a blueprint you accept, edit, or throw out.
next thought— suggested; edit or just send
decompose an existing paper
⌘↩
how to read thisDecomposer is a tool you steer, not an author. It decomposes, retrieves, and blueprints — it never hands you a proof. The spine on the right is a proposal you own: accept, edit, or discard every node. No "I solved it." Claims it can't ground in the graph are marked ○ unchecked; marks literature provenance — new to the graph ≠ new to mathematics. Click any formula to copy its LaTeX.