diff --git a/public/delegates.json b/public/delegates.json
index 7a7bb61..02bf4a4 100644
--- a/public/delegates.json
+++ b/public/delegates.json
@@ -460,5 +460,11 @@
           "url": "",
           "description": "Decentralization is a mindset - We support Bittensor with this power",
           "signature": "6a30e91de8ebd0cae6553634eb194fa172416efadf19ad3da810c841d8f41244eb136995d3f864bb635ee5f41c673d46d4c1a7373554419376a167c92f89dc8a"
+    },
+    "5FF6FtDUhn7XdPYmEdH5XjLAmLfmwLTCNVBgcrj3A4sstwaw": {
+        "name": "Cathedral",
+        "url": "https://cathedral.computer",
+        "description": "Decentralized formal verification, built on SAT.",
+        "signature": "cc86ffbf3745ed67ac1eb4356c90ef5e18f079512f9061477cadc0a5c89e771a770a035ed1554711a45bb7041c2a2f19df8f41f75a510b4d1814b67dccb49a88"
     }
 }
\ No newline at end of file