{"serverId":"mcp-registry/com.recognitium/recognitium","tools":[{"name":"check_silence","fixed":{"name":"check_silence","description":"Proof-of-absence: was the rail demonstrably alive over [from_ns, to_ns], so absence of a receipt is evidence of absence of an event? Only a 'covered' verdict proves absence; 'not_covered' suspends the presumption. Public, free.","inputSchema":{"type":"object","required":["from_ns","to_ns"],"properties":{"to_ns":{"type":"integer"},"from_ns":{"type":"integer"},"max_silence_ns":{"type":"integer"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":122,"tokensAfter":122}],"toolsChanged":1,"tokensSaved":0,"todo":[{"tool":"agent_cv","params":["chain_id"]},{"tool":"check_silence","params":["to_ns","from_ns","max_silence_ns"]},{"tool":"lineage_trace","params":["direction","receipt_id","include_successors"]},{"tool":"memory_verify","params":["entries"]},{"tool":"prove_anteriority","params":["receipt_id"]},{"tool":"verify_receipt","params":["receipt","receipt_id"]}],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}