Odel
lemma

lemma

@lemmaoracle1AstroUpdated Today

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

Probing this server's capabilities…