[hermes] Add description to README (#3148)

joshlf · web-flow · commit 10ce7672d5e9 · 2026-03-24T17:09:45.000Z
gherrit-pr-id: Glqnd6zsyrxdhqraebnvtvqokubawfkdr
diff --git a/tools/hermes/README.md b/tools/hermes/README.md
@@ -1 +1,3 @@
 # Hermes
+
+Hermes is a tool for "literate verification" of Rust code. Write safety comments in Lean, and Hermes will verify them automatically.

Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
`1`	`1`	`# Hermes`
	`2`	`+`
	`3`	`+Hermes is a tool for "literate verification" of Rust code. Write safety comments in Lean, and Hermes will verify them automatically.`