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.
v0.1.0 · MIT License
Enables compatible assistants to access a local catalog of 24 software-engineering specialists and tools for listing, retrieving, planning, consulting, and searching approved knowledge over MCP stdio.
— · MIT License
Enables an LLM client to perform reverse engineering inside IDA Pro without the GUI, opening databases headlessly in persistent worker processes and exposing tools to decompile and disassemble functions, rename symbols, retype variables and arguments, add comments, and convert numeric bases. It can also run over stdio or HTTP transports and adopt an existing GUI session when desired.