私が竹刀の修理を行う際には、特に専用のものではなく、身の回りにあるもので済ませてしまってます。写真は小さめのノコギリとラジオペンチ。ノコギリは竹を切るのに使います。中結をほどいたり締めたりする時には手よりもラジオペンチが便利です。最近では100円ショップで手に入りますね。
竹刀を削る時、私は主にサンドペーパーを使っています。目の粗い布製のものを使えば、ストレス感無くキレイに手入れする事が出来ます。
竹刀を削り終えた後はワセリンを薄く塗って、竹刀全体を保護します。竹刀は乾燥すると割れやすくなるので、この作業をやるとやらないでは大きな違いがあると…個人的には思っています。ドラッグストアで売っているものでOKです。是非お試しを。