A REST API construction framework for Flask