URML-MARS

Turn a natural-language goal for a physical robot into a URML program that is statically validated against the robot's declared capabilities and active safety envelope before any actuator moves. Use this when an agent needs to command a robot, drone, arm, humanoid, or mobile base from a plain-language instruction, or needs to check whether a requested physical action is admissible (within declared capabilities and safety limits) before executing it. Covers the translate then validate then execute loop. Provider-agnostic (any LLM), runs fully offline once a program is validated, and never lets an action reach an actuator until it passes verification.