Welcome to MIRACLE’s documentation!