{"id":"verify-server-returns-bool-player-count-returns-int-or-none","text":"In the script interface, `verify_server` returns `bool` and `get_player_count` returns `int | None` where None indicates server unreachable (distinct from zero players).","truth_value":"IN","source":"entries/2026/05/11/servercraft-README.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"verify-server-returns-bool-player-count-returns-int-or-none","truth_value":"IN","reason":"premise"}]}}