Proof SDK: open-source collaborative editor, provenance model, and agent HTTP bridge - View it on GitHub