AI
Quote and build unsigned buy/sell transactions for $AI on its HyperEVM bonding curve. No keys held.
PR
prover
Published by Axiomatic-AILean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
- CATEGORY
- More to explore
- DEPLOYMENT
- Remote endpoint
- LATEST SOURCE VERSION
- 0.1.0
- SOURCE CHECKED
- Sep 26, 2026