MCP servers from io.github.Tristan-tech-ai
Verifiable, deterministic risk math for autonomous agents; re-runnable proof on every answer.