diff --git a/home/programs/firefox/default.nix b/home/programs/firefox/default.nix
index cd99a87..f708454 100644
--- a/home/programs/firefox/default.nix
+++ b/home/programs/firefox/default.nix
@@ -210,6 +210,10 @@ in {
                     name = "verus github";
                     url = "https://github.com/verus-lang/verus";
                   }
+                  {
+                    name = "secure foundations";
+                    url = "https://github.com/secure-foundations";
+                  }
                 ];
               }
               {