Odel
lemma

lemma

@lemmaoracleDeveloper Tools2AstroUpdated 1w ago

Verifiable provenance for AI agents β€” ZK proofs over confidential documents, no plaintext exposure.

Probing this server's capabilities…