Yichus / Reference / API MCP tools

api_audit

Audit IO composition from typed IR: read-then-write, orphaned IO, and writes without reads. These are diagnostics to interpret in context, not an application-wide safety proof. Use api_verify for the composite API gate.

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

CLI: yichus audit — the same IO-pattern audit (`service audit` reads CRUD handlers as well).

Parameters

• sources (required, array) — JSON array of {fileName, source} Bosatsu files.

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.