Maxwell Santoro

I build formal systems, Rust tools, and software from first principles.

I'm an independent researcher and engineer in Brooklyn. Current work includes ries-rs, an inverse equation solver that runs in the browser, dotrepo, a trust-aware metadata protocol and live public index for software repositories, and GK5, a Lean 4 verification project.

Try ries-rs View Projects

Featured Projects

Selected work

View all →

dotrepo

Active

A trust-aware metadata protocol, Rust toolchain, and live public index for software repositories.

rust protocol metadata
GitHub ↗ Site ↗

ries-rs

Active

A reference implementation of RIES that ships as a CLI, Rust library, Python bindings, and a browser/WASM app.

rust wasm math
GitHub ↗ Live App

Genesis Kernel (GK5)

In Progress

A Lean 4 project testing whether mathematical and physical structure can be derived from a minimal discrete starting point.

lean4 formal-verification physics

RamenOS

In Progress

A capability-based Rust microkernel exploring a post-Unix system built around typed contracts, user-space drivers, and explicit authority boundaries.

rust os systems

Writing

Essays, technical notes, and project writeups

View all →

Claim Your Repo with dotrepo

The shortest maintainer path in dotrepo: start a canonical `.repo`, run the local trust loop, and line it up with the public surface.

protocol metadata mcp developer-tools

I asked 12 AI models what they want from a repository metadata protocol

dotrepo is designed for AI agents as a first-class audience. So I interviewed them. The convergence was more useful than expected.

dotrepo rust protocol metadata ai

What a Trust-Aware Query Response Should Contain

A useful metadata query response should return more than a value. It should return enough context to judge the answer.

protocol metadata mcp developer-tools

The Hall of Internet Greatness

A personal archive of things I think are worth preserving

Enter the Hall →

The Grand Permanence Medal

For doing more than almost anyone else to ensure the web does not dissolve into rumor.

Featured Archives & Preservation

Internet Archive / Wayback Machine

The single most important institutional memory system on the public web: a vast archive of pages, media, software, and vanished internet history.

Read entry → Visit source ↗
archives web-history preservation public-knowledge infrastructure

The Order of Regional Broadcast Immortality

For preserving the exact moment local news crossed into permanent internet myth.

Featured Video Archives & Preservation

The Original Crichton Leprechaun News Story

An immortal local-news segment from Mobile, Alabama that became one of the early web's great viral videos.

Read entry → Watch surviving copy ↗
video local-news viral-video web-history memes