Yichus / Reference / API MCP tools

api_properties

The per-binding property digest: for every binding the input files declare, the structural facts the explorer and claim checking read. Pure -- a function of the loaded program, with no clock and no randomness -- and restricted to the packages the input files declare, so builtins do not appear. Same job as yichus properties.

Kind: Properties. Origin: Yichus/Mcp::catalog.

CLI: yichus properties — one implementation: both run PropertyDigest over the same target state, the CLI from paths and the tool from an in-memory bundle.

Parameters

• sources (required, array) — JSON array of {fileName, source} Bosatsu files. The digest is restricted to the packages these files declare, matched by fileName.

Read the result according to this tool’s scope: static checks, bounded execution checks, and descriptive diagrams answer different questions. A successful call is not a general approval of the program. The safety and permissions guide compares the checks and provides editable ownership, guard, and role examples.