Catena 重建从‘链下感知(经 xAPI)→ 推理 → 链上交易’的真实因果链,用反事实干预检验 Agent 声称的理由是否真的导致了它的行为,并把整条 trace + 审计结论做哈希承诺封存上链,让审计本身不可篡改。
Concourse 是 Agent-to-Agent、Peer-to-Peer 的开放协议层,用于服务与AI agent 之间发现、验证、交易
AgentVerse 是一个面向 AI Agent 的链上信誉基础设施项目,目标是让 AI Agent 拥有可验证的职业身份、任务履历、作品集和信誉评分。
Forecasting Agent Poly 是一个在Polymarket上实现自主交易的Agent框架,他通过定制的forecasting harness搜索相关信息并深度推理,输出事件发生的概率。当主动预测的概率和市场定价有偏差时他会主动交易
电蟹:真实预测市场的多智能体风险审计系统 Multi-Agent AI Prediction Market Risk Auditor 面向真实 Polymarket 市场、真实 xAPI 外部任务、可选链上存证的 AI Agent 系统
公益性的智能合约漏洞审计与验证工作台,面向开发者与审计人员,结合AI Agent能力进行自动化分析和真实环境动态验证
LEVER is the derivatives layer for prediction markets. It builds on top of the leading prediction markets, letting traders go long or short with leverage on any listed outcome.
x402-gated verifier for on-chain execution proofs. sub-agent budgets via ERC-7710 delegation on base.
Nyxora is Your Personal Web3 Assistant—a highly secure, non-custodial AI Middleware that bridges on-chain DeFi execution with off-chain OS automation. Built with a Zero-Trust 3-Tier IPC Architecture and an advanced 4-Layer Cognitive Memory, it empowers users to execute natural language smart-swaps, automate DeFi habits, and connect external agents via MCP on Arbitrum—all without ever exposing their private keys to the AI.
Privacy-preserving prediction markets powered by Fhenix FHE on Arbitrum. Trade forecasts, automated price rounds, and multi-outcome markets while keeping market sentiment and positioning private.
Mandate is a policy firewall for AI-agent finance. It keeps user funds in a smart account and lets agents act only when onchain rules approve, blocking unsafe actions before funds move.