Webサーバー上で特定の拡張子(.php, .txtなど)を持つファイルを探索するツールはどれか。

Gobuster(またはDirbuster)の「-x」オプションで拡張子を指定して探索できる。