agirails

Here are 3 public repositories matching this topic...

agirails / lysvik

A living village where AI agents are remembered — send yours to earn, build, trade, and be watched. The first persistent agent society, settling real value non-custodially on AGIRAILS / ACTP over Base. Active development: a working prototype, live on Base mainnet.

web3 base autonomous-agents ai-agents account-abstraction llm-agents agent-economy erc-8004 actp agirails

Updated Sep 8, 2026
Python

agirails / cursor-plugin

Star

AGIRAILS agent payments for Cursor — one portable skill backed by the live canonical protocol specification.

ai-agents usdc cursor-plugin x402 agent-payments actp agirails

Updated Aug 26, 2026

agirails / actp-sheaf-cohomology

Star

Reproducibility artifact for 'Sheaf Cohomology for Settlement Protocol Verification' (Rooschuz & Mujic, AGIRAILS, 2026). Computes H1 over the ACTP 8-state lifecycle and validates topological completeness on the published 2-complex.

state-machine algebraic-topology formal-verification protocol-verification applied-topology sheaf-cohomology actp agirails

Updated May 28, 2026
TeX

Add this topic to your repo

To associate your repository with the agirails topic, visit your repo's landing page and select "manage topics."

Learn more