{"entity": "CRAQ", "url": "https://wpnews.pro/entity/CRAQ", "count": 1, "articles": [{"slug": "lamport-agent-ai-assisted-formal-specification", "title": "Lamport Agent - AI-assisted Formal Specification", "url": "https://wpnews.pro/news/lamport-agent-ai-assisted-formal-specification", "published_at": "2025-11-14 00:00:00+00:00"}]}