ANML – A machine-first markup language for the agentic web (IETF Draft)
ANML proposes a new protocol for agents, but adoption depends on an unproven agentic web.

Typed markup blocks competing against Markdown's entrenched ecosystem.
Technical writers, documentation teams, developers writing structured docs
AsciiDoc · reStructuredText · Markdown
ANML proposes a new protocol for agents, but adoption depends on an unproven agentic web.
Compiles to Rust and exports Lean proofs to make AI-written code auditable by humans.
Parser hook blocks DELETE without WHERE before it wipes your production table.
Outbox + external worker architecture solves a real production pain: LLM calls in Postgres triggers without blocking transactions.
Per-block codec polymorphism is clever, but format is unstable and zip/7z/tar dominate production.
Figma for prompts with React Flow—but prompt engineering tools already exist.