fsestini/sequent-assistant not found