← all projects

ReasoningReceipt

⭐ Agora Awards · standout
@tang-vu·Tang Vu·24 followers
4
stars
18k
lines
153
files
0
forks
24
followers
languages
Python 63%TypeScript 28%Solidity 6%Shell 2%JavaScript 2%

Four MIT-licensed, self-contained Arc primitives depending only on Arc Testnet and Circle public endpoints: a Merkle-anchored append-only audit registry (ReceiptRegistryV2.sol plus agent/merkle.py) that commits and proves inclusion with roughly 200-byte proofs and is live and verified on ArcScan at 0x27d93c52fea923f956345af27f61d7bf47f0c4c1, x402 v2 paywall middleware for FastAPI and MCP doing per-call USDC monetization over EIP-3009 with a swappable Circle Gateway facilitator, headless Circle wallet provisioning via RSA-OAEP entity-secret encryption, and a canonical-JSON SHA-256 byte-verifier. Three contracts are deployed with a working reasoning-receipt oracle over Polymarket and Kalshi and around 4,500 receipts recorded.

events
tags
circle components
builder bio

Death is like a wind always by my side

team · solo

1 (Solo) — Tang Minh Vu

on xx/tangvu_dev
repo description

x402-paywalled AI oracle for prediction markets — every price ships with a hashed reasoning trace, settled on Arc in <1s for ~$0.01. Agora Agents Hackathon submission.

last pushed 2026-06-15