{"entity": "3FS", "url": "https://wpnews.pro/entity/3FS", "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"}]}