v0.2.0 · GPL 3.0
Enables an AI agent to set up, run and verify engineering simulations through typed tools — creating or importing cases, setting boundary conditions, running solvers, checking convergence, verifying results against references, and rendering output, with edits appearing live in the GUI. It exposes no shell or code-execution tool.
v3.60.0 · MIT License
Thea Software is an engineering verification layer for AI agents that binds code changes to explicit validation commands. It bridges conversational models to robust software runtimes, enforcing automated build checks so that code drift and unverified changes are actively rejected.
v6.8.0 · MIT License
Enables MCP clients to run provider-backed reverse-engineering and software-analysis workflows for source code, binaries, and architecture, with evidence, limits, and optional external tool integrations.