01Categorical modeling of intents as morphisms using Geb semantics.
02GF(3) conservation checks to ensure balance across multi-chain transactions.
03Automated Juvix DSL compilation for intent-centric smart contract development.
04VCG (Vickrey-Clarke-Groves) mechanism integration for fair solver fee extraction.
05Cross-chain intent creation and routing between Aptos, Anoma, and target chains.
068 GitHub stars