Refactor SCIP parser, navi agent and more