Magma Portal repository