genltl should have options to generate the formula from bench/ltl2tgba/formulae.ltl
These are not really scalable patterns, but it would help to have these formulas giving short example commands, especially with ltlcross.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information