A cubical formalisation of topos causal models: intervention, sheaf gluing, and the intuitionistic do-calculus

Connect your wallet to an AI agent. It reads balances, proposes swaps and bridges across 15 chains — you keep full control of your keys.