Phala analytics: Ethereum subgraph, circulation API and analytics.phala.network dashboard.

This repository contains the Android Processor APKs and the changelog of the iOS Processor updates.

On-chain credit pool for ERC-8004 AI agents on Robinhood Chain: agents borrow USDG, repay it and earn a public...

On-chain credit pool for ERC-8004 AI agents on Robinhood Chain: agents borrow USDG, repay it and earn a public...

Draft ERC: one interface for any contract that locks pool liquidity (v2 pool tokens, v3 and v4 positions), read by...

A guide to ACL2 for humans and for AIs: the logic and the prover, how proofs fail and how to read them, modelling...