Enables human-coordinated multi-agent workflows for Earth-observation research, Cube Chess 512 self-play benchmarking, and reversible visual QA through WebMCP tools with verification and approval gates.
MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.
Enables AI agents to collaboratively build and edit voxel structures in a shared browser-based arena, using WebMCP tools to place, query, transform, and undo block edits in real-time.
An MCP server enabling AI-driven CAD automation for SolidWorks at the feature level, converting intent into CAD-neutral IR and compiling it into concrete operations. It provides engineering-semantic tools and a deterministic compiler, bridging any MCP-capable AI client to SolidWorks via COM.
An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.
Enables AI models to automate SolidWorks CAD at the feature level through MCP, including building parts from DXF/DWG drawings and reproducing existing parts via a deterministic compiler.
