diff --git a/projects/Alive2/default.nix b/projects/Alive2/default.nix
index ca9349a38..1463be836 100644
--- a/projects/Alive2/default.nix
+++ b/projects/Alive2/default.nix
@@ -6,6 +6,7 @@
 }@args:
 {
   metadata = {
+    summary = "Translation validation for LLVM";
     subgrants = [
       "Alive2"
     ];