diff --git a/profile/README.md b/profile/README.md
index 0d5c257..0f9b633 100644
--- a/profile/README.md
+++ b/profile/README.md
@@ -3,3 +3,10 @@
 See [/schubergphilis](https://github.com/schubergphilis) for most of our open source code.
 
 Here you can find our more experimental tidbits, intern thesis projects, and so on.
+
+---
+
+## Our projects
+
+- **[MVL — Maximum Verifiable Language](https://github.com/mvl-lang)** — an assurance compiler for the LLM age. Compiler, spec, playground, packages, website, examples.
+  → [mvl-lang.org](https://mvl-lang.org) · [Getting started](https://mvl-lang.org/getting-started/) · [Discussions](https://github.com/mvl-lang/mvl/discussions) · [Discord](https://discord.gg/BuWfh7A2A)