{"type": "article", "title": "ICME Labs – formal proofs for agent work", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/icme-labs-formal-proofs-for-agent-work", "original_source": "https://docs.icme.io/documentation/our-products", "published": "2026-07-17T22:46:37+00:00", "accessed": "2026-07-18", "id": "icme-labs-formal-proofs-for-agent-work"}