anthropics /FlashProveLean93786A research prototype for zero-knowledge proofs of AI inference. Not maintained.