yichus
v0.1.0
Published
Yichus command line for type-checking, exploring, and generating Bosatsu programs
Readme
yichus
Command line for Yichus: type-check Bosatsu programs, explore their structure, and generate simulations.
The install is a small launcher plus the Yichus fat jar. You need Java 17 or newer (java on your PATH, or JAVA_HOME).
npm install -g yichus
yichus --helpOne-shot, without a global install:
npx yichus explore --helpExplorer MCP is a subcommand of this binary:
npx yichus mcp path/to/program.bosatsu@yichus/mcp is a different program: the browser relay that drives a page open on yich.us. This package does not include it.
