地牢证明爬行者：学习如何用角色扮演游戏编写证明