Runs your code against a contract; returns HELD or BROKE at the exact input. Deterministic.
This MCP has no overview available.