Verifiable infrastructure for AI agents and distributed systems.
Makers of crdt-merge, E4, acfa-rs and ATSP, plus open tools like x402-conformance.
Proofs over promises.
| Project | What it does |
|---|---|
| crdt-merge | Conflict-free merge for DataFrames, JSON, ML models and distributed agents. Every merge is guaranteed to converge. |
| acfa-rs | Trains one model across parties that don't trust each other. A dishonest minority can't skew the result, and each round ships a receipt anyone can re-check offline. |
| ATSP | Agent Trust and Sovereignty Protocol. ATSP World is a live experimental run that studies how autonomous agents behave and where their limits are. |
| Proofline | Independent verification for coding agents. The agent says done; Proofline re-runs every check against a contract and gates the push. |
| Truedone | Checks whether a pull request's tests prove its change: red without it, green with it. |
| x402-conformance | Conformance and safety checks for x402 V2 facilitators and resource servers on Solana. |
X · Hugging Face · PyPI · npm