This project proposes to build a new analysis framework for the Cardano platform, in which we can reverse, debug, analyze and evaluate Cardano smart contracts. Once this foundation is ready, we would proceed to build a range of new toolsets include, but not limited to: