Enables Large Language Models to submit and solve constraint satisfaction and optimization problems using Google OR-Tools through JSON model specification.
Enables LLMs and AI agents to interact with AFSIM through standardized MCP tools for scenario management, entity/component control, simulation execution, and results analysis.
Exposes an agent-based simulation of post-scarcity governance as callable tools for AI agents, including simulation runs, compliance checks, and test execution.
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.