diff --git a/README.md b/README.md
index a193b08..9e7f1b2 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,5 @@
 # LLM PR verifier
+
+PR-Verify is an automated LLM agent for reviewing and verifying Github PRs.
+
+We verify that contributor code works as intended, by generating unit tests and executing the code with LLM-generated "oracle verifiers" (https://arxiv.org/html/2305.14591v3).