『Xユーザーのsnwyさん: 「i've built an MCP for Prolog - allowing Claude/any MCP capable client to use formal logic to reason and solve problems https://t.co/WUh8HDI8lD」 / X』2025/4/12 13:39:00 https://x.com/snwy_me/status/1906520399480770696
