Proof SDK: Editor, collab server, provenance model, and agent HTTP bridgegithub.com/everyinc1 pointazhenley3 months ago