This is a simplified implementation of TypeScript's type system that's written in TypeScript's type annotations. This means that it uses types only — with no runtime code whatsoever.
You pass TypeScript code as a string to the TypeCheck generic and get possible type errors back (**[See the live demo](https://www.typescriptlang.org/play/?ts=5.3.3#code/C4TwDgpgBAogTnA9nAzlAvFAKuCBhACwgGMBrAHgAMAoagMwFcA7Y4AS0SahQEcGBDOBAAUTAFxQmDALYAjCHACUUAN7UoUIcAZwuXAFSSA3NQC+tXgKHCARACYbik9UoA+WgHoPUABKIAbgpQAUGU8EiolFDAiNwQ0ADuBPzAAORoCUhMAOZQCWzABNEEbGhsTGAMwJ76+uqGWCVlaPzcbNJgADZsdGwQACZQ7V0Q0hBMwCkcXIh02LgAysRwbGBpaKCQ3CAowKPFKel5K8B7TPVDXDiQSytrR5vQ-ExMiJPsnCgAdNhNUGPPDbJYBDEEMFAQDa4NCcTogKCAFAI8gUCBdXppmOwxlBiIh+olgShEBBAnAvvULgBNRAMKBgfgoNDXCC3VYg3H4qAMrncYArHLRWKFaCUZmEEikKLZcYKNjELlMQbSkFgRCMtiyToQC6PKAKCJoWT8MjkqB1M2-Up0pAAKxIIO6gRaIIIpzAKDEXmyKIYsi+uOkHiy-GkbA8PkWyzZFItwiwqwkBBCcGCpOK0F1-G6DMhUHknUQCUFcQzuD1CGQZS4IBpKfKlWAinqHhq5sM6A7na73Z7vb7-YHg6HFw0o7H44no7wyGg3VkcEE8I50HzBYSFyHm63253febnm8KDgxA85XxAA8vsAUNRdWKiGRyABJCpVPXns79NC7fnZVwYdQvGwRBSHGNgAC9oHrKp1CwECwMg59X2Af8IA-cYv0uOggjg0CmAAGVKaoNAAfmAvDCN2d9PzQcJkHIZ4QAAGgVEB3DHMigKfOZGPLA0WLoZBpBSdNpHUccADEhJScgAG1cPGSjgAAXXY0cJAUgiiOojC0AAQQQfgQHITSGKYNi1I4qAuLmFAGGIYhIRQRhOhY+lUCgiZYmeLldnEicAAVBAhEz4K03ZUPQxUq2wlMADk8QgJT-PHMiEvxJSdOi2AKzgMzmNYyzJ047xuNYvjKwE6SQWFMTJ0k6q5PSpKiNUlKJwkZrMrQmioAMhdjIAIRzZr8tcIr6pKqAyrshynJcljHgAWmIB9SAVQZBLgYSQX1St2vqqApO2mTxUfLqiPGg6OskEkFGuqAJCYO64AOp6XvE97SQPbhjw8ABVdhOhQDx+qMwG2GBq8bzvfhIZMrLMLB4zGPGjAoGEYQvmx4ANOUdB-38RA2H6ZQet0jGCAkRiWOxr4hF2CRyliqAACV8cJ4nBjI1nHtu77bzLALwQIBHyey5GxpYmB-0wWS6awaXlNoXV-qYFASjoYAxaipHDJR8zXGl2WoFkmBaexrBlcFrZpxYGSsAARkR-T9al7A7Bdvq3dRk35ctx2La+LA7Gt2HIcG4ysC9yXUZYwavakOQFBYvSY59w30dk1T0YT8WkdkmwtRyQobGUqAyOjjS4c6SOTJrkyjagQaWOFjXyD0liAAYruoICjxPCHgY8OjUGh6g0NVOAarLUfyAAWSc-hpS9n9ymyFjCOeuKZHkFN87QJO95NhYQAmfhzznxfGWXiBN-KCAd+TuB-wAHygILUHXq+l+le-t93goN+8xIA-xvn-KAW9H6AJfirMsp9z6X1ygvX+0AD68l-P-aBz9E4wJNmoaIuAJA2AQZMJBEQbDqDGOAiAEhr4oFvuoboADn4SCgU-PeZg4FbE-igb+yD6G31XnydeWCOFBHQUfIB6MCGPGIbw-hFCqGoLoagphD9xFwDYRomBXCbbQGZGAhhK90FrxyGImBuDn74PUHIqANhDG5Uof8FRUBBHSnUSwve2ivH3XMH3Q8f0h4g2OjtceupQkyVHmgdBks55mI3pIPBTdWaQgYJ0XautXYDXIAkv2OdMDRK9tndQPM0kZPUBIaJsku7l3QXPZmQR3F3ywkEdheD-JkUidrLADdolNzbqLVJdkMksUoAAEhUO05+pgJCTOaaYNwlkvr3QCb9QeQMQYAHlZB2lYME8JZYdl7OAIvOA0oTKBw9ibLZoYelXNAjWOYId-wADIPY-QHh4TSEEFAeBfA2b4159FQAANIQBAAkZAmFMA2FxOrYANgoDvyLhARFyL7E9CRSirQOgmDYvsVITonQCU2D5AwCApK6BZghFS5grBpiUJBcLFg2gpicHRjYJipLbAYscKSwufLlKkpUKS0wpKvikqMKSsQpL0Ckv0KSgA1KSpapKPBMt1JotAsKu6ksdqShwfKADMpKAAspKACspKABspKADspKAAcpKACcmr4EgDkIgYGAE+X8GcSi2Qgb7HEBDTYfo4bKXqBRXQcN2Rw0EHDWwcNNpw2kHDSSmN9jpDhvxdmmwiBw1gHDTwcNcBw0oHDYigtDBw3+HDQkcN55w0gHDeBcNelw2DXDXgcNAARcNMBw0SXDQAcXDT4cNT5w0AClw2gvDfhcN89w1xXDVs8NAVw0AEVw2s3DQscNWBw3-XDQANXDQAdXDQADXDZScNAAtcNeqC0GoLQ4AtpqC0WoLdagtdqC2OoLS6gt7qC0AH1w3jKZf3P6PzIJwA8PPFIBBDlbAWPZYgvTNTQEwAQruEhHbqEdhIOw6g7ASGNeoY1EgzXqDNRIS16hLUSBteoG1Eh7XqHtRIJ16gnUSFdeoV1xGu6kaI1AR2JHpNkekxRhTxGaPSbo9Jhj6niMsek2x6THG9PEZ49Jvj0mBOmeIyJ6TYmoB2AkzZqTdhZOOfI4puwVGbMqbsGpuwGmfPke03YXTdh9PBfI0ZuwJm7Bmai+RyzdhrPGrs4l6jsnjXyeNYpjL1GVPGrU8ajT+XqPaeNbp41+myvUaM8akzxqzO1eo5Z411mzV2Za-R2TZr5NmsU91+jKmzVqbNRpob9HtNmt02a-Tk36NGbNSZs1ZmFv0cs2a6zlq7PreY7Jy18nLWKb28xlTlq1OWo06d5j2nLW6ctfpm7zGjOWpM5aszz3mOWctdZm1En-G6iww5Ru6No7oMebMKAf2cP8DwxXMH2HcNankuXFZr01lfMQ38hYIicgHOBbqGAKQJJsFQMAQgggAeYCB1kqAEyVCNJTHpUwkzafN0WdDhOxCPVbDHWignROSd5SwCbCnvVqdM-p4zpgLNBos7Imndn3DoB22ICkDHv4UAd2EZg5uGv14m2p2LlQUuaAgpV+vO2kxyhq6fNr8x2Brd-nRlb9BWBSnRDgBSyp00vbU6wAzmnEugiQcWZ0137v1Ke-QSL-3KZINd19z78XLNIOOyD6lEP2pxwSEd5TyPie48p4nGRcl6ebrUuBtqFHCGwq-OQ2jskOOyxo4BVUcg6gm+ZN6gkpi6gee7D53brv01kK9Mhv39QAUhCOX6OvKB84ID8HWug2QiAfVz6YAP6Ze8rF7wH-2lIrQndhV35MfKLFUaA8P3v8g4+SADGnw-Wf8+LHWK7ybNvXvOwJ6CG34fnQU9kVklzs9CsDhmFOQDYJ2FylAEfvwE3N-jXMrHzG-hHh2J-imHAZDPntDgATKMAaZOAfKixNAbAUPvAf5BID3sTskPvJTiyqwAIB8OcKntgUAXKKZBQXzoQXvsQQ2D-ggWOOQYTr3lQV7NqtdJXFXpBJokhA2CxDYJAdASxOwVQRNBoAIbzsIegqkDYKkA9NDmjibjkNIVUD-ixFoakJwZMCoWHkoYIF7Noc4odHoRISyJjtkEYcACYfYloRYTAboaoUdIIZQbYegqfN6sDH4aOOIXhL8qEUvp0O4bIfIXvooYEXzlYTdKQhfHPJQC+P4FmCTDiFQcaHsGSJQE-sfPLuRAhNgnvC3oPg2KPmzOUu3hTJ3mPhPrfjkDPkIPPl7JpNASfoVAPjYdQR3q4ejFzsACMe4UbNQCbCMSITAmgFEdUVIXjlMakVQTMSxIrsrq4WrsMuksACkeoYIAMh0VPl0ffj0aQP+BILJJoqZIcaMh-BcXfs9A-rcSxG3mHA3s4QYW4UgZTp3lADugwG8BAMyF7GYXyt4VAXvn0RfsfjTIVK-shF7qgc3BAFtBAL7mCRCcyL7qLlrAoH-mDq4WbnDOrOQINNiTOLIQADr4qRS9RF7B6ZHkL0Q2BqwlGhhMApADAYLrxQDdAlFZiSo+GFzMI1EKBlzLKmwAmmS0k4k+FNx6QklwAIESAclzzckTAKB8kCmDAJIikFAKDilJGTBSk6LPxymVH6FepxF1FAljGYLqDPEtHZRtGvE36XHZDdFz4L6U79GX4olxzd6bHBHAnjGYCTHTFt6zHzGRmjEUyxE+o3hOHRGQRpnxHrHxnIRNy7HAAAkHHNEnFCFnGtxvFXEfE3HsT3EelezgqQrQrLFgoQpQpwD9BPFlk+mT7vEQCfF3Fg6Ok+o9kjLHF9mdH+nXGBncFVC-FbBo4+AQCdCQD87OEeksSNmxIZxsTlESKU5SIvx+po47mU6xyZwrFMC-KhRZkQAemySOzKStwizkBblVE3mQSPm1JNwb4pxQCl4QjDlnnNH2nOHOnommKuED7nm9SSymS+xZwvnqD-kpnZTHnoyBztG+kDmfFexL4r4+SYBAV3wRmnHoWYQmmxnc7JnbGt4kEj7QW-jox5l0UJkv4O5QWU5yEu4eke4LHoJIoOGZnVHuGeEfloVVm4U1mDl1lkH1FvgR5eCYnTjSBjD6n9CmBMmYnDLACYGkSfm3l6Xbm9ng7kBoVNxF4TRqEVmUVoA2BMkiVWRo7iU1ymUTksTmWWWLRu4QBWEaTOFt4JEBEUXfGMWuRTl+kBmP6QI2nHxexM6gUTm6HXm-IrlrkKB3nVEfmSXxVAK6FI6fKV73k15hRAowx-F4QDHX79myX4WL7L5ajPAHn2VJLWIyLqBgDVkzm1mBkSC1XTkxWkCeIylaJxW+KvQ-ZliAGyggF4TkDnpZgUr97wmTCInVWX6EXNVr7tXHw2KEKQDELSgsFhrqB5GdAUoSBLWXXp79B74SDQF6K6jNmdndmgE3UrXMWiJrX77BlIn8DkDbWr4sTHlowEa2JEL2KPJvXOIXVXVQCfV3UPW-XPVliPEfXLVoLRma7QEbXjADHA0tV7VAIHV2I2DHlw1Y3XVY3qD3WTCPV75o2YauGmRI2rV40H6bXH5E27Vg1k1Q02AJJU23U023V00o1PXTWYajmdBs1Y0c0Ilc0E1bVNUg0k0vwC1HX2IoCy0i0I1I0S0M2o3S0GKgGc3-Xc2A282g14IsTs3fUCiYB5J+rvyzW4GY23WqnZoY0LVI3e0YqKme0UoB3vw5ny1e2-XsTvyvXQoR0h1R3FUngLCyj5FIYeAp0rBp0KAYbQCZ1sDZ0ZXrkmRlghHvCsG4BeVJjpL9CoZgCERim+qNVEVMAnzV2dC138D11mkLhN2U5F56Flh0Jd0N3mly2IDMgl2QDuDG6p3dCIRQll1TA4aV1g7t2d3d2N0xKU683oykWyzqD52F2rnF3MhV00gd112j290oAskUxM512QDdm4DiRkSP0DCL2U6Kkv1WRC2uHOXD1gBP2f29QAnX1ZiT1M5I0qFkSG03Tv3P1bDoKDRq3PDMgPRkQ2C83OX8FuJd3AOl2U4oMt3gNy24DkBQNY3pGGVwOHSAMENIOU6PE-2OHQ4U0wI4OTj0Mf2EO9SaKkOQNR6I1UMRGRHCPi2sNh4IMgMUw7zEroOSO-1EpZqKNSP4M8OMO9Rqz4i9DPSIPF6qOGU2DMA6MPyRqiPwPqP6NeznpcwKOGO-1EwkycOqPcPWOxLmT2MOO-2MQuOGNuMyPZRqykCvAJBMBePeO-3MAhOFj5qROWNAMaPY18MvQRPxNiMU0vR+ORMBO8MUzIyCMswwBagaXXjMjUPxNkRH3z0QBxIlPjBlO4AVM5N4OJPuOU5qzTCFNBCdOcDMi30WPeNVNz2-K9NMDkBjP9PNPxO5OaMUzHL2jdMpjj6IDrnsCQjTPpPDNZ01MLOsBX5IBrN9ADPpOSOzPJMUwST0oMFLMfyCAhgoAsRM6pLaC6CbOnPbMF01NXOsrTBX73PSCPNNGvOt2DPpNFX+HPQCy-YjOQQ-MMqcD-MLiAvpw5KyQgkY7L3MiqSmUgteyYvsAr3T1+rVO-LwsMGfwPNIsPN33ZRM6kuQT9CUsotkTCAMsDDMvb2unClkSUDCCTLstMsAsoCmAcxQACuwsQDvlop4quAs5I7KBFWz07NkvXPTCcvUsou7losYvl1EsQA4tNETl26co2AmycvFIIFlIpV8ycs1J1KU6yRM7NlPNCNI18HQ4O1f16tpNkTNl25iFg6SvkvqvCt1GHQ-6au30D6HTU4em+7NmzLisqDsuLVUMs7oL0uSv9ALBsDZD8mvMGOTRBsquMu5v5spA6AXNemuEWNkR2uoolxJoOu9SyaqO8sSulsDDlsFtVsGWsMSDU6Cs9uVtCCmBjIWMQuOFTuTgBX8z3QZ7zuvRh5QurK-br3-QQifzjBq6BOYQEsV3Evk55NBM3l9PkNn6F5+V8x7toAhvnuQCDGXtp58ykWVHst1OjANMoC3vklYtNMkuSvkDFNfsTA-sAeZtCOCsgelMZnQ7Qf1NgcBtWQLAbtbuCA7vAeIeNPEvoJskF5U78spvZswffuivZw0A3RDskfYcisUcpRTtKswtdtjMTNnvhPQiotGTkAHv6spLNEmuwpmvoyTOcfoIlLQ78V8yieQAoD2v4s+ssPwdAcyeQj2u0uYRZtdv6PtSfPZ3tPcs5CBvsuseRuqfRtQDmdSnjDZClwtsUzOwdsqDxudtfO-L6PytU6TIufEfaeEkYpuDXQzuQsfQrsfTKtueQR7PawrNHO5javcfoswV-uEvYv8fGuO25BCfmuHMKDrNcsUwSfWtHF2EiWYMqDioKWUAqDJvxtQAp4DW5fTzHPyfifOsQqusszuvB5eugOKeQC6ftnwiZeBvU6JtzK+eRdSvQMZuU5adTdMtNegCpUlsLexd5fDc43rwRF6e7O7L2j1zwzrfNcbNVmrN5cteNu2fNteyOdefOfNG+6CvHegCmBGBRCDveePeuf6cvcgBvdU7NPBeLurvLs3Sg-tQztKvwYni8J-J6S7C51QDNQDGYvTxQJb4AUwCKgY+SJ4KdW8iCDABoXamTDo8PzqAYQk+wA48U+m3I-pKdCkPkAW18OJQDHHm23WJa20L2JyNM891ZjOL038CM2TDM3QBPxzXM+9etHJes+yPs+X6c8a3g2qCQ3a02BS-AGkP6289wMi9i-8AS-NyoNaSN1pu3UEVm8+EiFK-H4q-80E-k3EM7W6-nXU3iOh6G8m3vuuEy8K2Ze2-oIo-K8wJc-7XO+C1gOC8qPw36+01QA+9S2VHIwwDnjdVOR-OkdIcJdDQjSJRjRNwK-ZSh8O-h+q88-EJp8Z8Mx8KcDOKrmgfXhVK0dG2i++8grRfp+Z-qiIsvfHNcfGTRd-dPvmSn6GzF9K1MP2+A2O-JJR+a-d+19Z8N9dVLfHONfncncZnJ9M308j9LfGT+vIMF-4juyy-ZTDQQijRxy-V2-4gc8V9O8Q2HW882CH-b+gDOKPISDNke+i0veyNY2inxBRLUs6eGftCQE6D3MGCLPaAbAOmAFcJYbscAQXUgEICFwMQPKGGXH6okWIoKM8IrXWoh9Z+5Aeftz0X7v80BkOLUFAOIAwCsBjKOmpgPZTqxHqrAhghmVIBng-+Z4dvkbxN40CMBDA2AfRCfCDBT+N-QvnfxfAFAvY1-R+DIMNjB8Z+j-MPs-Aj6k0qBxCYQXQM4HIBnEJMTPP0HUDlACgmeG8sRD37i96e97JgPQMYFsDnwkgohmfylZ38LWefGku4KL7xw8Qm3XqIoNv4qD7+pA9QeX00GV8dB9iewY4MQFr8hg-QEwV1WFYDVhW6gJfP0BAASAUG2QgQZ3wiRqtOAPfOvn8wkEKDfBZ+d+Mo1bjCsh+Pg6Qef19j+DshlQpoR4NCEl9MIZfOfs-wX6v9ya9g0oavzibGDpopgukGkLubIsMyWQnIab3yFJ9Ja+-SohIIaY9A+geUOKCGGrZUVkuekF4G8DYHtClBzQzODUMZ6qC2eEQvoVEJf7q83+xCdYRME2Gyl1A-JMYJ1F2Ea9amRw8upwAkCHDXgAIxgjYON708RhffJgAS2b7AcV+0I04SEP3JhC1BEAJ-vcIGGPDyaUI+vjCPeDN9G+CIvEVUmJHTAChoA3UHgCzCdBcRfzakcSniBIjlBKIgyNkBkDfsGhwQlkeNGuGK9bh5A-oZQMGGC0GRtIskYkKVyMjeeYo+IOoEEDsjYOQI85ByLA4UjVhIKReM-DpGItouzI84SiL+76jOhKItSg2EFLN0dqfI0vmQIoGR8RRmvLUXvB1FxNEA+3VgBIGi7r8v+Cwv7uoADDmjkhUAM0VUAGDqjbBawugLCNKYmRIQnpTCNyINGFlPgEAPgA02NHuxuhaAXoYKMxHCjsRgtbiNGIabOI9gjMbAHGP9Epi0xEwCQHbAhA1jrBKw8XtZG8BZgSiBbXnnpBMD08XmeKYsRMA7gqjSmGY6oUkmJTWiehtooUfaILGa8+xugAcTWi5DDiGmyoxUQ03DEQjU+6ofNqUxdEWVsS8YtAImJNEpI82roUcaEK2TrkUgyAYgX9RuHoiNB2+aIQ6Pf4I8+Ee4hpi6OcRagtYbCI8eoBWDZBXQEgVmBeOIjb87x41G8eaWwFbiTeg0coIuAPH4QjxV4lERBNAnHjm4VQ68beOwEPiH+z4yIa+IeGyJBayE-knABAC-imER4wCVrGAmQTwJkE9QNBOwGejCJyARCfT0GgFgyAS4mkgEK5H4SLIk47MdOLzGzjKJmvASYgCEkEjSmzieYbkICF8T7SuAYEccLgE6TQRmEqfiQLREYjyJWIuSe-2ZD6S2BpY7Sf8LYFAj7JDBTScblZp2SQRzgrMcj2klmT8xFk4hN-UgDWSGCwvZsduJBTMMgpTkv5l5JzF2jtB744hJFL+EeSQpLkrVIzwEbuTdJMU6fk+NMkAUKJvwpKZlNj5WTopiQ8EUhLN7lTUpuU4yflJfGFTzJxU+xK71Xy1ScplUsKSb3dqHsUpXU8Zk+EkneSBR8UzWjEJsB9T9WwU5gUkMzzpSywhwkAJ1NBEs88p-I0iXcN8myTWpNgZaatJsmLStgp49aQ1M2kFS4AWgiaegB9ocidesfQYkQWzTtTngzPFEs9MDr+9HpH0rgtmhr6988RT0v6RimX6Ay-mv0ywtmk-5rMDYBUSGb4QxR6D0RnAiGXgIRnR1hGEA-QaIKwH0RcBBUT6e-DiGozEWBMifoTJBnEzihTAA8eTNYih0JhGw3oFlXplEyGexKZnuzJdHCSMZ2aMUXTPRl4D2ZTohQILPhlCzKZUMjFEWOUkNMx+UsxGe-AXH4iBSMYvmRik-F5smA+4iUeM3pkaz341E1CXrIVkUzGZCkpSWrPlmGyQEA0tabbMCn2zPJVMhns-EOlwD2Z-PLKVFLqmIt2Zr0jjr7MGlnSlZUAaaR7LRmKzMZB07KWtOekV5YewUP5HDzryVUeEycl4ewBZkbkKI2kbwYhUn47FngtJYKRaJ3pm8D6n5JSK1y-qy1TITOHYWMBYghlkSeApnFnLeFwBLKakMiNSKYClynJ5c1kn5RSjXka5z5L2BHNAI2BZULcgGoMSZzTgCwWkSaldAI5w9I5iLH-HXE0hKQWIdgNGOgjh4ekKGQjZqJ1xwhhR95rSFMKPHSJkRR4XsBRDkDngEyKm9bZOXPHvl+F0hHkU+Z3JznkAm5LSC+aNK2kuDmZWwqSkzNeE5ye588vORFAeh-yIQo8U+Q4kIaQBWAAwCUsGJ9ScBLKb0GYRCAAX4g4FWw4BbsNtoTjwFAxQBdAvypXTYF2cxhWvKbiRs95l0IqKgofLNFIFFCrKiApoWRUcxDChQDAvEXdymFvI7AA3C4URQ1IT0RnpUU3lxznBCi3CQhVAK+wq5mi2uaA3rkzzhaiClWm3IKhM4e5r9EhXwonJT1nZcAp2bNMRY5iYFCCuhZfjcUyKOF8i6+dws+jVyiIBi1MkYoWpYMzekBVuYDRRKWLvFY8mxafK3njNA5SS4BWQK8XsKWIripha1VkWcK-FiihjoEt2DBLsosdLsngWUaRKF5MSoRlYo3nJzEl6iuAd7LKnNK-m2SyarkqbidKxq3Slub4qQUoQVCgVIZaUv3ahLxgYBSmqYocGhl25dSuJcWxPn8LUlyU5xeM16WaJ+lHi4-BkrGp5LBlikfxfVFGXHKSltSfFpMvGY2BfGsygYrUpZj1LDon8-+asvaWItY5wctaVsor7uLflUQ9xfkqGXry6GxS4AOMrQDh1QCTOc2J+QeULKnlSy1hq8tIXvLvlzgiOR8vGZwqAVr4-5ekpyUTUDlPi+GJotBXTtxxnQVRcnPrHABkZ8QpgdvIKVaK3YhciSWDlxBzNsoSwc7mfQmEZi4pM40mgQLPBoVMeJ5W6eCshXhycCrBGeQQXhXzKLFQjGAHwBpTPLUVEAA8cCvOXDLn5jS-hY3MSiXyUwmi01TlAiBFRH5uUA1V-FfnIJ35B0LVd-NygjKBV6CKRWfJZjCKGZuy7ac1O54YMbFDK0mUwCLpZVzVyPahZyvO7fF+gWSk1WCjFVEq4UnwRFOkWC68L0F-CmwC6PfDYK9g-QPBWqoEDAwiF-hOHnPBfnZBdSqQeFLsFSBJ8w1aAaQOCBBDyBLgBQBbngokGFwReZcQuLsCJ5oU5SM9XUHD3Qn0rBA6AnGU4LgGaKGh7K2Rbyu5X7suVkJVehUKkFnCpWQqmSSKuTW09JqEqquduspxerG5MalEvup2mk1rF+iy5egmnlhLFVUSxeaqvVXlrkVhlKtabN1XhR9Vx8w1XYuNX4gLVUa2FW6udWWr7xwG+1bWsdWSyH5Ni11VapQUhqZ1tAlGbjLYERrc5eqrJTGtXUtIJBia8DUev6AwLUUGa4hVWtygYL81k8e0LgsgKlqNVMiopfRoiBIs+EDqnjdoS1BpBm1uGrgf8HbV5hPI3a-Tr2v6D9q98g6v+iOqYVjqAlEPZlMnNDWibpg+GuoouoLk6Ki56gEBY0RI34sN1Z9VvK4KCG+Db1ga-agPjkG4TTpdm5hfzQHyEDj1Y1CVR5qIFB85i6MEzcDghSg4SNLubjfRBrXZF+5IIzQAMEwErhBJpAJaCgA3WDA8i2M6AKkEmQgLTAqQL4GUUo31LeFp8lKFpvnV-N2oskcrWILyhkbB8BQcjRAr7URoFNykIdWT2J4qaXyDW5zeJP-BkQnN8myYIpqp7dbECcm1rSNva02Axtk1MdShXHCeaE17UHMctskVWDDJ0OIbVNoDQza5tY1MuBNuG17bC4B2zRHaTHCzExw5qlKLUJSjRczkFyEjSxBq6yRWg5QaNWMGUgSAB6pgSyOOqFiaasNIgircyqGVLrDNHKszSEQs0AcpVj6+zmUo7Jx0YVQjZbfcuVUWr1tyKv1n5p4oNr0UKKITc5S1VeqANSkKyn5Q05oAVloG8+UmqSosqLVP8gjk-Pg18bENPGp1csq-nIJWdXDSjXYUJ3ZNoccPOlTVqZXjMo1L28BaKq82aIKmvCqdZLo0XM7Y1kAJrfLqo2cabo+iyeegnKXvUFqlDSOqjGDURa8oUW5BJQDVjMacFgwBmAoECCDA3qUAbLSoCRp5aCt2u55TdEt28bFEXJZGSJrB1cBugVEJXP8Mk16gOgoAPBTjvYVFLlGamlRRpo8iiy4AB45qIKp8n2bD1+mi8myqh3jQ9FLKmVS+qmU2A8F76x5UEH7RvBNV0qg3XXLCINzz5Ma2vYiq-zkLWFEin9WLpA1HFw244TPdnqTVerfVtQ-1QIr73SKulLCrue4tIpNaBizUE7YpuHXk95tPWqRQguug7yo46uw+QdB4WoaGNuaqRQWpY3Fr5Cje3XTe3L1PrKclem5YXEx3mKLVg0BcGQDRR+7B9HkHVUcsA1HyaCQ+jJN6qCAuiwFsKvWZBtVV6yBdVkF0ezrAMIa35yGi3Xzp40oHoNpy2AHAaf1I7MIr+sAsKg-3RLu9KYPAAWE53f7jQoELrUnscJarT5Y+02WAugNJqi8q+y-FwfxAb6ZtW+pg4dp600G1Q68eg7-pEOK7SVuZQgyCqV3n6eN1ugTakGUhNr7dRaktXrPX27bN9nW0dapHdWW7GNes6-Q7rwVSHGDFaldmnonXJytZ34iYGhIwk7rRorm66XkpZWQ6Fqui08kQanlyr5qVet9TUqoOwAv1KAJvX+vBnbzgDlOmnQkqNVCNsJroGA6kcgnwGWYaR4AEgck6QTUDvUVQ-jMwMNLADyCXI-kf8LoStYXsL1fTJzGWKjxMCpCu-HYNxH9Zks82TPuaNaxWjk-LA28rsVOGdZP402bUcnK5GwF4BSAq4paNErpjiUQQx1uU077ZFuR8lRhtMO5rGgs4I8UtGSCKg2gnIUHD5AZBfixjEwAtWUI5RtqqIna1oBltnXQB7xrQbqj6K5BzRGQJaqI7YcrXYHkAZhzoxYe0Nsa-jD+5RcShpUeQBZHBxKLnrGnCrNasy7qEXpyTLrwasEQI8+uCN4FbAFBj9SzG3arySV1i8XTSJdFsjVR14Q7vEXJV1ChApJ7ZfYkUDCcOdtTfWKfLA0tRdgEG9XVBvQ3IHbVHOoPTgLKOp4A91R21uAe1hwnOjaSijRdD5Mz69DA6oQ4Ye62omgltSFY0XG62HKyVLKilXzBT2Qt7DQO2E5Sb1nUnYOemnwwZr8NGaZhxyk9Xj00HqBxDnOgEo0TijxB+galYSNbxbp70aUZFI1iV28GnSkKcsFCmXrGXP7eopBr0+vABIUze5Ni5GKfI-JbH-Che3qBJzEY7G7FlAD3SmZyAAk8toJ3BYVpJP-G+YfpgYIGcfEUx8OqeRHUEdOp4FuU6ZoYxCHlO3GmAtp79rpop2XRGTrpvpcGNoOpnkuHpTNdKsTMUxTIXelVUiuYMvLlDQJ3NeYU0MZ8b9eC+s+D1C6LsKTxKKk6uLA6jn1ddZoleWeyBpmIzGSQHRnKtPnmbTl568LpuxMQ7HTUyloWPgw7MnLE7p7fJ6ZnMVnxi-mp86ypyTRnJ+yFTilKtiODnsqIBu1Wivp0+rGdQjbI1AbwPQ4ijFMEo+KYllsR4lUpgi3mZxMv68TM8ns4VBg1nnxRnR4c2BzpNoXKdE54C1EPvOPmV9H8N8h+WagmmATb5li4ObYu0mo1t5hfXxeS48HBL7cYS4lFBVQnqV6eiEMbNomuGtYOe9w4X08OV9tTVEP89LoXk21K+WJxc8QbQCkH8C8qPlB2GVSqoFU6qapVbSBo29K+5Jr+f+oSPcKMLti4fc80gkZGcjWRgU5kZwn5GeYhRkU2gc50YGyLMDLc3lCqNUWw8dO4fdpbokTGjxYCpYxRsR2Fx4+ZcXg3soKvLH9DGptY6Ie3JhXqr6ps7Qro4bGGGrOE3M1lcBNwBgTg56s7fpMsQrdTNV60usdT3QmQUZ0UgOPs5AGWkxQ13w-+cn5Vy4eHR1C2AvJVBXuTDOijUzqGUs6CLNqiIBhbFMKzrVaV4DplbrFr
$ claude mcp add HypeScript \
-- python -m otcore.mcp_server <graph>