MCP servers from io.github.johnbeans
Ten formal algebra for machine intelligence — encode, decode, compose, and verify