6 servers published under arxo. 6 answered our last handshake, 0 did not, and between them they expose 112 tools.
6 servers 6 answering 0 not responding 4 523 installs/wk
UNIDROIT Principles 2016 as executable rules: closed questions answered with grounds and source text
French Civil Code (LEGI) as executable rules: facts and a legal date in, answers with grounds out
German Civil Code (BGB) as executable rules: periods, deadlines and more, answered with grounds
UN Charter (1945, as amended) as an executable model with worked cases; not UN-affiliated
French family-benefit models (CNAF corpus) as executable rules with sources; independent demo
FIDE Laws of Chess (2023) as an executable model: arbiter cases, answers with rules and judgments