Proof – The agent-first document editor | Dark Hacker News