{"domain":"mcp.specproof.ai","count":0,"history":[]}