Tool list changed · Auth required
+3 extract_pdf, extract_pdf_result, lint_latex
Last 14 days
Servers that became live, hit an auth gate, went unreachable, or changed their tool list.
Same clock as the scoreboard: initialize then tools/list.
Not a safe-to-install badge.
Built a server that is not listed? Submit it.
Tool list changed · Auth required
+3 extract_pdf, extract_pdf_result, lint_latex