Agent workspace rework: declared compute layer, expanded tool roster, Loogle, Pantograph removal - #39

Agent workspace rework: declared compute layer, expanded tool roster, Loogle, Pantograph removal#39

tadamcz wants to merge 7 commits into

mainepoch-research/LeanOpenProblems:mainfrom

agent-compute-reworkepoch-research/LeanOpenProblems:agent-compute-reworkCopy head branch name to clipboard