Yichus / Reference / API MCP tools

api_suggest_properties

Propose Yichus/Law obligations from the program's reified facts. Each suggestion is a complete standalone Bosatsu file whose unfillable pieces are named holes; paste it beside your module, or decline it with a Dismissed binding. Runs the default rules plus any RuleSet declared in the sources.

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

CLI: yichus law --suggest — the same property suggester behind the law command's --suggest flag.

Parameters

• sources (required, array) — JSON array of {fileName, source} Bosatsu files for the module.
• module_name (optional, string) — Optional module name for the suggestions artifact (default Laws).

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.