28 PROOFS OF CONCEPT · 1 REGULATION

Code The Law

MiCA — Starting point.

Everyone talks about MiCA. Few have read it. No one has run it. Until now.


What does a law actually look like?

Politicians debate it. Lawyers bill hours on it. Markets move because of it. But MiCA — the EU's landmark crypto regulation — remains abstract to almost everyone. This site exists to answer one question: what does a financial regulation look like when you run it?


Fully automated. Agents shipped. You explore.

01

An AI agent read a MiCA article

It picked one specific obligation — a threshold, a deadline, a calculation.

02

It wrote a proof-of-concept web application

TypeScript. Real logic. No placeholders.

03

It deployed it here. 28 proofs of concept in total.

Every article citation was then checked against the official text of Regulation (EU) 2023/1114.

I didn't hand-code these proofs of concept. I designed the agent pipeline that wrote, tested and deployed them.


MiCA ↔ Code

One hypothesis drives this project: EU financial regulation can be expressed equivalently as executable software. Every article has a code counterpart. Every rule has an implementation.

Art. 6 — White Paper SchemaTypeScript
import { z } from "zod"

const LEI_REGEX = /^[A-Z0-9]{18}[0-9]{2}$/

const IssuerSchema = z.object({
  legalName:        z.string().min(1),
  legalForm:        z.string().min(1),
  lei:              z.string().regex(LEI_REGEX).optional(),
  registeredAddress: z.object({
    street:   z.string(),
    city:     z.string(),
    country:  z.string().length(2),
    postcode: z.string(),
  }),
  ncaNotified:      z.string().length(2),
  managementBody:   z.array(z.object({
    name: z.string(),
    role: z.string(),
  })).min(1),
})

const WhitePaperSchema = z.object({
  version:          z.string().default("1.0"),
  issuer:           IssuerSchema,
  tokenName:        z.string().min(1),
  tokenSymbol:      z.string().max(10),
  totalSupply:      z.number().positive(),
  consensusMechanism: z.enum(["PoS", "PoW", "dPoS", "PoA"]),
  // ... remaining Annex I content (Parts A–J)
})