{"entity": "Agda", "url": "https://wpnews.pro/entity/Agda", "count": 2, "articles": [{"slug": "prompt-for-ai-agent-to-act-as-a-lean-mentor", "title": "Prompt for AI agent to act as a Lean mentor", "url": "https://wpnews.pro/news/prompt-for-ai-agent-to-act-as-a-lean-mentor", "published_at": "2026-05-22 12:14:41+00:00"}, {"slug": "ann-ghcup-0-2-2-0-release", "title": "[ANN] GHCup 0.2.2.0 release", "url": "https://wpnews.pro/news/ann-ghcup-0-2-2-0-release", "published_at": "2026-05-22 05:05:47+00:00"}]}