diff --git a/Contribute.md b/Contribute.md
new file mode 100644
index 0000000..2014d6a
--- /dev/null
+++ b/Contribute.md
@@ -0,0 +1,15 @@
+Thank you for your interest in contributing to the Formal Methods Tools website! I welcome contributions of all kinds, but I'm especially interested in content---adding or updating the selection of tools featured on the site.
+
+I hope contributing is as easy as possible. Simply follow these steps:
+
+1. Set up an account on GitMoss
+    - Sign up at https://gitmoss.fyi/user/sign_up 
+    - Send me an email at `git@mossbiscuits.com` so I know to approve your account.
+2. Clone the repository as you normally would. You may need to set up an access token.
+3. Checkout a branch for your edits.
+4. Use [AGit](https://docs.gitea.com/usage/agit) from the command line (saves disk space) to create a PR.
+5. That's it---I'll merge or comment on your PR as soon as I can.
+
+I'll have more comprehensive docs soon about the parameters to specify, but for now, just copy and modify existing tools' structure.
+
+Thank you so much again for your help with this project. It's a huge undertaking (especially for a grad student's hobby project), so I am honored you're interested in it.
\ No newline at end of file