1

Contribute

Landon Taylor edited this page 2025-06-09 16:14:34 +00:00

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 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.