2025.07.09
https://gyazo.com/c1ee31b736c0fda52ca0401542870456
前：
2025.07.08
後：
2025.07.10
#日報
メモ
「
Lean
用のMCP(
https://github.com/oOo0oOo/lean-lsp-mcp
) を使いながら警告を検出して直せ」という旨の指示を与えて，
simp
タクティクで無駄な引数などを与えている部分を
Claude Code
に修正させた結果，60箇所ぐらいを自動で修正してくれた．簡単なタスクとしては及第点な気もする．
#lean-lsp-mcp
観た
わたなれ #1
おもしろいけど，激しすぎて
IOSYS
のPVみたいな気持ちになる
Turkey #1
?!
メモ
花札
のルールムズすぎるだろ