{"library":"circt","install":[{"cmd":"pip install circt","imports":["import circt","from circt.ir import Module"]}]}