Function check 

pub fn check(
    schema: &Value,
    arguments: &Value,
    headers: &[(String, String)],
) -> Result<(), String>

Checks every annotated argument against the Mcp-Param-* headers.

headers holds every mcp-param-* header, names lowercased. Returns the offending header name on the first disagreement.