diff --git a/known-packages.toml b/known-packages.toml
index 8b2c46c0..ccd9a2f2 100644
--- a/known-packages.toml
+++ b/known-packages.toml
@@ -329,6 +329,13 @@ badges = [
"",
]
+[tooling.proxr-protocol]
+badges = [
+ "",
+ "",
+ "",
+]
+
[tooling.qtypes]
badges = [
"",