forbiddenfruit
typing-inspect
z3-solver-crosshair
