diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..978dfa135d6e4762576e43c0ee6c623b98f9df1f
--- /dev/null
+++ b/README.md
@@ -0,0 +1,14 @@
+# Bramble specification
+
+The wiki has an explanatory [overview of the protocol stack](https://code.briarproject.org/briar/briar/wikis/A-Quick-Overview-of-the-Protocol-Stack)
+as well as text on
+[the architecture](https://code.briarproject.org/briar/briar/wikis/home#architecture).
+
+## Formal specifications in this repo
+
+- [Binary Data Format](BDF.md)
+- [Bramble Handshake Protocol](protocols/BHP.md)
+- [Bramble QR Code Protocol](protocols/BQP.md)
+- [Bramble Rendezvous Protocol](protocols/BRP.md)
+- [Bramble Synchronisation Protocol](protocols/BSP.md)
+- [Bramble Transport Protocol](protocols/BTP.md)