yichus api
Scaffold, verify, and deploy a Yichus-first Bosatsu API
This help is generated from the same argument parser as the CLI. For a
subcommand, append its name and --help to see its options.
Usage:
yichus api guide
yichus api compile
yichus api verify
yichus api deploy
yichus api report
yichus api frontend
Scaffold, verify, and deploy a Yichus-first Bosatsu API
Options and flags:
--help
Display this help text.
Subcommands:
guide
Print the Yichus/Mcp agent guide
compile
Parse and type-check Bosatsu API sources
verify
Re-prove API safety properties from Bosatsu sources
deploy
Generate the API engine JS if the sources verify
report
Build the program-map report (program-report-2.0)
frontend
Generate a verified HTML frontend from a FrontendSpec