Hi! I build an MCP server that allows clients to play Minesweeper. It turns out that Claude is not very good at it (makes obvious mistakes, hasn't won a single game on a 9x9 board after many attempts).
I am curious how I can prompt Claude to do better?
Comments URL: https://news.ycombinator.com/item?id=43420678
Points: 7
# Comments: 2
Melden Sie sich an, um einen Kommentar hinzuzufügen
Andere Beiträge in dieser Gruppe
Article URL: https://research.swtch.com/diffcover
Comments URL: https://news.ycomb
Article URL: https://arxiv.org/abs/2504.17192
Comments URL: https://news.ycombinator.c
Article URL: https://arxiv.org/abs/2504.11651
Comments URL: https://news.ycombinator.c
Article URL: https://curry-lang.org/
Comments URL: https://news.ycombinator.com/item?id=4379721
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Ru
