<?php
header("Content-Type:application/json");
$svcs=[
    ["Ollama",11434],["Qdrant",6333],["n8n",5678],["Mattermost",8065],
    ["Plausible",8000],["Kuma",3088],["Twenty",3000],["SearXNG",8080],
    ["Gitea",3001],["DeepSeek Web",8901],["Loki",3100],["Prometheus",9090],
    ["Paperclip",3201],["MiroFish",4001],["Langfuse",3002],
];
$up=0;$down=0;$r=[];
foreach($svcs as $s){
    $ch=curl_init("http://127.0.0.1:{$s[1]}/");
    curl_setopt_array($ch,[CURLOPT_RETURNTRANSFER=>1,CURLOPT_TIMEOUT=>3,CURLOPT_NOBODY=>1]);
    curl_exec($ch);$code=curl_getinfo($ch,CURLINFO_HTTP_CODE);
    $ok=$code>0;$ok?$up++:$down++;
    $r[]=["svc"=>$s[0],"port"=>$s[1],"http"=>$code,"ok"=>$ok];
}
echo json_encode(["up"=>$up,"down"=>$down,"total"=>count($svcs),"services"=>$r],JSON_PRETTY_PRINT);