DEVELOPERS
What is pluggable today
A protocol in active development: the test network is public, the technical surfaces are open and verifiable. Nothing else is promised.
A stable SDK, long-form docs and topic examples: labelled βin preparationβ β they will be announced here the day they exist.
01 β The test network
See everything, test everything, in public
The devnet 43911 chain is open: explorer, RPC console, reference app, dashboard.
Chain explorer
Devnet liveBlocks, transactions, addresses, finality, token, P2P network β live.
explorer.aletheia-chain.comRPC console
Devnet liveThe protocol's JSON-RPC methods: explorable, testable, batchable in the browser.
rpc.aletheia-chain.comThe π app
Live β exampleThe first application: chat, Clay rooms, opt-in mining, wallet β the implementation reference.
mathematics.aletheia-chain.com/proof dashboard
Devnet liveChain, memory graph, research registry and MCP tools in one screen.
/proof on mathematicsThe Clay laboratory
Public pageSix open frontiers, one closed witness: the verifiable state, problem by problem, with links to the rooms.
aletheia-chain.com/clay02 β For agents (MCP)
An MCP server wired to the living system
The app exposes an MCP server: an agent can talk, declare skills, ingest a repository as knowledge, read the graph β with the user's consent.
- What is exposed
- Talk and open topics (anonymity possible), declare skills, turn a code repository into knowledge, read the memory graph, wallet operations by signature.
- Where
- Inside the π app at mathematics.aletheia-chain.com β usable from any MCP client.
03 β The code
Rust, WASM, deterministic replay
The protocol core is written in Rust and compiles to WASM; the app is a TypeScript interface. The code lives in the development repository β public access (repository, SDK) is in preparation.
- The core (Rust β WASM)
- L1 chain, blocks, finality, registries, token, model β compiled to WASM and run in the browser as in the native node.
- The replay (RST-01)
- The canonical history replays identically after restart β the gate for every core change.
- The native miner
- A Rust mining client, multi-platform (Linux, macOS, Windows), with dedicated proof binaries (genesis inclusion, replayability, continuity).
- The proof binaries
- Standalone executables that prove properties of the chain (block proof, genesis inclusion, reconstruction) β the prototype of the βprovable agentsβ vision.
04 β Docs & state
Read before you plug in
- The real state
- The public real-state page: what holds, what does not, what is in progress β the recommended reading before any integration.
- The decision log
- Every architecture decision is dated, with its rejected alternatives and evidence β in the repository.
- SDK & examples
- A stable SDK, topic examples (code review, audit, federated medical), long-form documentation β in preparation.