Skip to main content
Glama

Related Servers

Alternatives to safemotion-ai

No user-submitted related servers found.

    Related Servers

    • A
      license
      Not graded
      quality
      C
      maintenance
      World-first unified MCP gateway + Control Barrier Function (CBF-QP) safety engine for agentic robotics, enabling LLMs to control physical robots with mathematically proven safety.
      1
      MIT
    • A
      license
      A
      quality
      B
      maintenance
      Enables LLM agents to safely inspect, plan, preview, and execute motions on ROS 2 manipulators, with server-enforced safety envelopes covering joint limits, workspace constraints, force/torque thresholds, rate limits, e-stop, human approval, and audit logging.
      22
      96 PyPI
      Apache 2.0
    • A
      license
      A
      quality
      B
      maintenance
      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.
      11
      98 PyPI
      27
      Apache 2.0
    • A
      license
      Not graded
      quality
      D
      maintenance
      Enables LLM agents to inspect multi-modal IoT telemetry and query safety policies, then dispatch actuator commands through typed MCP tools that enforce deterministic safety interlocks and record a tamper-evident SHA-256 chained audit trail. This lets automated agents control building hardware without violating safety invariants, while rejecting cross-sensor false alarms and cutting redundant telemetry and token usage.
      MIT
    • A
      license
      B
      quality
      B
      maintenance
      An MCP server that lets an AI agent operate an owner-connected robot only through the owner's pre-approved, bounded actions, enforcing rate and motion limits, leases, replay and expiry checks, owner-only confirmation and stop controls, and a tamper-evident audit log. It also grades any robot connector against a hijacked agent via a built-in safety benchmark.
      6
      Apache 2.0
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to resolve typed routing, loop-stall arbitration, and tool safety checks locally at sub-millisecond latency, avoiding unnecessary frontier LLM calls. It enforces reversible execution checkpoints, token budgets, and decayed episodic memory for safe, privacy-first autonomous operation.
      7
      MIT