● Project in active development β€” test network: L1 devnet 43911 Β· mainnet 43901 planned

Aletheia FR 𝔛, the living example β†’

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.

02 β€” 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.
Live β€” devnet demo
Where
Inside the 𝔛 app at mathematics.aletheia-chain.com β€” usable from any MCP client.
Live

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.
Coded & tested
The replay (RST-01)
The canonical history replays identically after restart β€” the gate for every core change.
Coded & tested
The native miner
A Rust mining client, multi-platform (Linux, macOS, Windows), with dedicated proof binaries (genesis inclusion, replayability, continuity).
Coded & tested
The proof binaries
Standalone executables that prove properties of the chain (block proof, genesis inclusion, reconstruction) β€” the prototype of the β€œprovable agents” vision.
Prototype

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.
Up to date
The decision log
Every architecture decision is dated, with its rejected alternatives and evidence β€” in the repository.
In the repo
SDK & examples
A stable SDK, topic examples (code review, audit, federated medical), long-form documentation β€” in preparation.
In preparation