A research workspace for humans and agents that combines PDF reading and annotation, formula extraction, literature Q&A, notes, and writing.