3 servers published under sunholo-data. 3 answered our last handshake, 0 did not, and between them they expose 64 tools.
3 servers 3 answering 0 not responding 848 installs/wk
Parse, convert and create Office and PDF documents. OAuth at /mcp/connect/, API key at /mcp/.
Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.
AILANG language reference, stdlib, examples and benchmarks for agents that write AILANG.