We're working on SDKs that let developers run their agents on Mars Machines and use all the syncing plumbing that we're building.