Merge branch 'main' of github.com:ellenjxu/pr-verify

README.md

@@ -2,7 +2,9 @@
 
 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).
+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).
+
+[demo video](https://www.loom.com/share/1569250d090b434da6e64abb8c284e60?sid=58f32c61-ff5f-4d4c-8c6d-93b87cc50bed)
 
 ## setup
 
@@ -15,10 +17,9 @@ We verify that contributor code works as intended, by generating unit tests and
 
 That's it! Just add the `pr-verify` label and let PR-Verify do the rest.
 
----
-
 ## todo
 
 - [ ] GH actions workflow, spin up docker container (code execution sandbox)
 - [ ] automated repo installation setup (infer instructions from readme)
 - [ ] synopsis/threat analysis comment on PR
+- [ ] merging conflicts in feature branch?