<?php
header("Content-Type: application/json");
$t=$_GET["tool"]??"list";
$ts=["nuclei","gitleaks","trivy","sherlock","holehe","keyhacks","amass","claw-code"];
if($t==="list")echo json_encode(["tools"=>$ts]);
else{$p=trim(shell_exec("which $t 2>/dev/null")??"");echo json_encode(["tool"=>$t,"installed"=>strlen($p)>0,"path"=>$p]);}