PyPI - reachy-mini - Versions diffs - 1.2.5rc1__py3-none-any.whl - Mend

reachy-mini 1.2.5rc1__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (479) hide show

reachy_mini/daemon/app/dashboard/tailwindcss/styles/app.css ADDED Viewed

@@ -0,0 +1,185 @@
+@import "tailwindcss";
+@source "../../templates/**/*.html";
+@source "../../static/js/**/*.js";
+@font-face {
+    font-family: 'Asap';
+    src: url('/static/fonts/Asap-VariableFont_wdth,wght.ttf') format('truetype');
+    font-weight: 100 900;
+    font-style: normal;
+}
+@font-face {
+    font-family: 'Asap';
+    src: url('/static/fonts/Asap-Italic-VariableFont_wdth,wght.ttf') format('truetype');
+    font-weight: 100 900;
+    font-style: italic;
+}
+@font-face {
+    font-family: 'Archivo';
+    src: url('/static/fonts/Archivo-VariableFont_wdth,wght.ttf') format('truetype');
+    font-weight: 100 900;
+    font-style: normal;
+}
+@font-face {
+    font-family: 'Archivo';
+    src: url('/static/fonts/Archivo-Italic-VariableFont_wdth,wght.ttf') format('truetype');
+    font-weight: 100 900;
+    font-style: italic;
+}
+html {
+    -webkit-font-smoothing: antialiased;
+    -moz-osx-font-smoothing: grayscale;
+}
+body {
+    font-family: 'Archivo', 'Asap', sans-serif;
+}
+.daemon-status-title {
+    font-size: 36px;
+    font-weight: 500;
+    letter-spacing: 0.3px;
+}
+.daemon-status-collapse {
+    font-family: 'Asap', sans-serif;
+    font-weight: 400;
+    color: rgba(0, 0, 0, 0.7);
+}
+/* APPs styles */
+.app-section {
+    border-radius: 8px;
+    border-width: 1px;
+    padding: 16px;
+    gap: 16px;
+    background: #FFFFFF;
+}
+.installed-app-title {
+    font-weight: 600;
+}
+/* Hugging Face App Store Styles */
+.app-section-title {
+    font-weight: 500;
+    font-size: 24px;
+    letter-spacing: 0px;
+}
+.app-list-item {
+    padding: 4px;
+}
+.hf-app-icon {
+    width: 42px;
+    height: 42px;
+    border-radius: 10px;
+    text-align: center;
+    font-size: 31px;
+    background-color: rgba(0, 0, 0, 0.1);
+}
+.hf-app-title {
+    font-weight: 500;
+    font-size: 18px;
+}
+.hf-app-description {
+    font-family: 'Asap', sans-serif;
+    font-weight: 400;
+    font-size: 16px;
+    line-height: 75%;
+    color: rgba(0, 0, 0, 0.4);
+}
+.hf-app-install-button {
+    font-weight: 500;
+    font-size: 20px;
+    font-style: Bold;
+    text-align: center;
+    border-radius: 8px;
+    display: flex;
+    align-items: center;
+    justify-content: center;
+}
+.wifi-status {
+    font-family: 'Asap', sans-serif;
+    font-weight: 500;
+    color: rgba(0, 0, 0, 0.9);
+}
+.wifi-status-info {
+    font-family: 'Asap', sans-serif;
+    font-weight: 400;
+    color: rgba(0, 0, 0, 0.7);
+}
+.notification-modal {
+    position: fixed;
+    bottom: 24px;
+    right: 24px;
+    z-index: 9999;
+    min-width: 300px;
+    max-width: 400px;
+    background: #fff;
+    box-shadow: 0 4px 16px rgba(0, 0, 0, 0.2);
+    border-radius: 8px;
+    display: none;
+    animation: fadeInUp 0.3s;
+}
+@keyframes fadeInUp {
+    from {
+        opacity: 0;
+        transform: translateY(40px);
+    }
+    to {
+        opacity: 1;
+        transform: translateY(0);
+    }
+}
+.notification-content {
+    padding: 20px 28px;
+    border-radius: 8px;
+    box-shadow: 0 2px 12px rgba(0, 0, 0, 0.15);
+    display: flex;
+    align-items: center;
+    justify-content: space-between;
+}
+/* Notification variants */
+.notification-content.info {
+    background: #fff;
+    border: 1px solid #e0e0e0;
+}
+.notification-content.error {
+    background: #ffeaea;
+    border: 1px solid #ff4d4f;
+    color: #b71c1c;
+}
+.close-btn {
+    background: none;
+    border: none;
+    font-size: 1.5em;
+    cursor: pointer;
+    color: #888;
+}

reachy_mini/daemon/app/dashboard/tailwindcss/tailwind.config.js ADDED Viewed

@@ -0,0 +1,11 @@
+module.exports = {
+    purge: [],
+    darkMode: false, // or 'media' or 'class'
+    theme: {
+        extend: {},
+    },
+    variants: {
+        extend: {},
+    },
+    plugins: [],
+}

reachy_mini/daemon/app/dashboard/templates/base.html ADDED Viewed

@@ -0,0 +1,21 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+    <meta charset="UTF-8">
+    <meta name="viewport" content="width=device-width, initial-scale=1.0">
+    <title>{% block title %}Reachy Mini dashboard{% endblock %}</title>
+    <link rel="stylesheet" href="/static/css/app.css">
+    {% block extra_js %}{% endblock %}
+    <script src="/static/js/health_check.js"></script>
+</head>
+<body class="bg-gray-50 min-h-screen flex items-center justify-center">
+    <div class="container px-4 sm:px-8 md:px-8 lg:px-8 xl:px-8 mx-auto w-full md:w-2/3">
+        {% block content %}{% endblock %}
+    </div>
+</body>
+</html>

reachy_mini/daemon/app/dashboard/templates/index.html ADDED Viewed

@@ -0,0 +1,20 @@
+{% extends "base.html" %}
+{% block content %}
+<div class="grid gap-4">
+    {% include "sections/daemon.html" %}
+    {% include "sections/apps.html" %}
+    {% include "sections/appstore.html" %}
+    {% include "sections/notification.html" %}
+</div>
+{% endblock %}
+{% block extra_js %}
+<script src="/static/js/daemon.js"></script>
+<script src="/static/js/apps.js"></script>
+<script src="/static/js/appstore.js"></script>
+<script src="/static/js/move_player.js"></script>
+<script src="/static/js/notification.js"></script>
+<script src="/static/js/volume_control.js"></script>
+{% endblock %}

reachy_mini/daemon/app/dashboard/templates/sections/apps.html ADDED Viewed

@@ -0,0 +1,8 @@
+<section class="w-full">
+    <div class="app-section">
+        <div class="app-section-title">Applications</div>
+        <div class="">
+            <ul id="installed-apps" class="overflow-y-auto max-h-96"></ul>
+        </div>
+    </div>
+</section>

reachy_mini/daemon/app/dashboard/templates/sections/appstore.html ADDED Viewed

@@ -0,0 +1,35 @@
+<section class="grid app-section">
+    <div id="install-modal" tabindex="-1" aria-hidden="true"
+        class="hidden fixed inset-0 z-50 flex items-center justify-center w-full h-full">
+        <div class="relative p-4 w-full max-w-2xl max-h-full">
+            <div class="relative bg-white rounded-lg shadow-sm dark:bg-gray-700">
+                <div
+                    class="flex items-center justify-between p-4 md:p-5 border-b rounded-t dark:border-gray-600 border-gray-200">
+                    <h3 id="modal-title" class="text-xl font-semibold text-gray-900 dark:text-white"></h3>
+                </div>
+                <div class="p-4 md:p-5 space-y-4">
+                    <div id="install-logs" class="overflow-y-auto max-h-48 text-gray-500 dark:text-gray-400">
+                    </div>
+                </div>
+                <div
+                    class="flex items-center justify-center p-4 md:p-5 border-t border-gray-200 rounded-b dark:border-gray-600">
+                    <button id="modal-close-button" data-modal-hide="default-modal" type="button"
+                        class="hidden"></button>
+                </div>
+            </div>
+        </div>
+    </div>
+    <div class="flex items-center justify-between">
+        <div class="app-section-title">Install from 🤗 Hugging Face</div>
+        <label class="flex items-center gap-2 text-sm text-gray-700 dark:text-gray-200">
+            <input id="hf-show-community" type="checkbox" class="w-4 h-4">
+            <span>Show community apps</span>
+        </label>
+    </div>
+    <div class="">
+        <ul id="hf-available-apps" class="overflow-y-auto max-h-96">Loading apps from 🤗...</ul>
+    </div>
+</section>

reachy_mini/daemon/app/dashboard/templates/sections/daemon.html ADDED Viewed

@@ -0,0 +1,45 @@
+<section class="flex flex-col md:flex-row gap-4">
+    <!-- Daemon Status Animation -->
+    <div class="flex-1 min-w-[50%] justify-center items-center flex">
+        <object id="daemon-status-anim" data="" type="image/svg+xml" class="w-full h-auto"></object>
+    </div>
+    <div class="flex-1 py-2">
+        <div class="flex justify-between items-center">
+            <div class="daemon-status-title">Reachy Mini</div>
+            <!-- Toggle Daemon slider -->
+            <span>
+                <label>
+                    <input id="daemon-toggle" type="checkbox" value="" class="sr-only peer">
+                    <div id="daemon-toggle-slider"
+                        class="relative w-20 h-8 bg-gray-200 peer-focus:outline-none peer-focus:ring-4 peer-focus:ring-gray-100 dark:peer-focus:ring-gray-100 rounded-full peer dark:bg-red-400 peer-checked:after:translate-x-[46px] rtl:peer-checked:after:-translate-x-full peer-checked:after:border-white after:content-[''] after:absolute after:top-0.5 after:start-0.5 after:bg-white after:border-gray-300 after:border after:rounded-full after:h-7 after:w-7 after:transition-all dark:border-gray-600 peer-checked:bg-green-400 dark:peer-checked:bg-green-400 hidden">
+                        <span id="daemon-toggle-on"
+                            class="absolute top-1/2 start-1.5 -translate-y-1/2 justify-center items-center size-7 text-white peer-checked:text-white transition-colors duration-200 hidden">ON</span>
+                        <span id="daemon-toggle-off"
+                            class="absolute top-1/2 end-2.5 -translate-y-1/2 flex justify-center items-center size-7 text-white">
+                            OFF
+                        </span>
+                    </div>
+                </label>
+            </span>
+        </div>
+        <!-- Daemon status: -->
+        <div id="backend-status" class="">
+            <div class="flex items-center pt-1 w-full">
+                <span id="backend-status-icon" class="inline-block w-4 h-4 rounded-full align-middle mr-2"></span>
+                <span id="backend-status-text" class="daemon-status-collapse"></span>
+            </div>
+        </div>
+        <div class="mt-4">
+            {% include 'sections/move_player.html' %}
+        </div>
+        {% if args.wireless_version %}
+        <div class="w-full flex  pt-4 gap-4 justify-center">
+            <a id="daemon-settings-btn"
+                class="flex items-center gap-2 px-4 py-2 bg-gray-100 hover:bg-gray-300 rounded-lg shadow border border-gray-300"
+                href="/settings">
+                Settings
+            </a>
+        </div>
+        {% endif %}
+</section>

reachy_mini/daemon/app/dashboard/templates/sections/move_player.html ADDED Viewed

@@ -0,0 +1,121 @@
+<div class="grid app-section py-2">
+    <div class="flex flex-row gap-4">
+        <div class="text-xl">Move player</div>
+        <div class="flex flex-row gap-2 py-1">
+            <button id="move-play-btn"
+                class="px-2 py-1 rounded bg-blue-500 text-white font-semibold shadow hover:bg-blue-600 transition-colors duration-150 flex items-center justify-center disabled:bg-gray-300 disabled:text-gray-500">
+                <svg xmlns="http://www.w3.org/2000/svg" class="h-5 w-5" viewBox="0 0 20 20" fill="currentColor">
+                    <path d="M6.5 5.5v9l7-4.5-7-4.5z" />
+                </svg>
+            </button>
+            <button id="move-stop-btn" class="px-2 py-1 rounded bg-red-500 text-white font-semibold shadow hover:bg-red-600 transition-colors duration-150 flex items-center justify-center
+                disabled:bg-gray-300 disabled:text-gray-500">
+                <svg xmlns="http://www.w3.org/2000/svg" class="h-5 w-5" viewBox="0 0 20 20" fill="currentColor">
+                    <rect x="5" y="5" width="10" height="10" rx="2" />
+                </svg>
+            </button>
+        </div>
+    </div>
+    <div class="flex flex-row gap-4 justify-center">
+        <select id="move-dataset-toggle" class="px-2 py-1 rounded border border-gray-300 bg-white">
+            <option value="pollen-robotics/reachy-mini-dances-library">Dances</option>
+            <option value="pollen-robotics/reachy-mini-emotions-library">Emotions</option>
+        </select>
+        <select id="move-select-toggle" class="px-2 py-1 rounded border border-gray-300 bg-white">
+        </select>
+    </div>
+</div>
+<div class="grid app-section py-2">
+    <div class="flex flex-row gap-4 items-center">
+        <div class="text-xl">Volume control</div>
+        <div class="text-sm text-gray-600" id="volume-device-info">Loading...</div>
+    </div>
+    <div class="flex flex-col gap-2 px-4">
+        <div class="flex flex-row gap-4 items-center">
+            <!-- volume down icon -->
+            <svg xmlns="http://www.w3.org/2000/svg"
+                 class="h-5 w-5 text-gray-600"
+                 viewBox="0 0 20 20"
+                 fill="currentColor">
+                <path d="M9.383 3.076A1 1 0 0110 4v12a1 1 0 01-1.707.707L4.586 13H2a1 1 0 01-1-1V8a1 1 0 011-1h2.586l3.707-3.707a1 1 0 011.09-.217z"/>
+            </svg>
+            <!-- slider -->
+            <input
+                type="range"
+                id="volume-slider"
+                min="0"
+                max="100"
+                step="1"
+                value="50"
+                aria-label="System volume"
+                class="flex-grow h-2 bg-gray-300 rounded-lg appearance-none cursor-pointer"
+            />
+            <!-- volume up icon -->
+            <svg xmlns="http://www.w3.org/2000/svg"
+                 class="h-5 w-5 text-gray-600"
+                 viewBox="0 0 20 20"
+                 fill="currentColor">
+                <path d="M10 3.5a1 1 0 00-1.707-.707L4.586 6.5H2a1 1 0 00-1 1v5a1 1 0 001 1h2.586l3.707 3.707A1 1 0 0010 16.5v-13zM15.536 5.464a1 1 0 010 1.415 5 5 0 010 7.071 1 1 0 11-1.415-1.414 3 3 0 000-4.243 1 1 0 011.415-1.415z"/>
+            </svg>
+            <!-- numeric label -->
+            <span id="volume-value" class="text-lg font-semibold w-12 text-center">50</span>
+        </div>
+        <!-- Advanced settings dropdown -->
+        <details class="mt-2">
+            <summary class="cursor-pointer text-base font-medium text-gray-700 hover:text-gray-900 select-none">
+                Advanced settings
+            </summary>
+            <div class="mt-3 pl-4 pr-4 pb-2 border-l-2 border-gray-200">
+                <!-- Microphone control -->
+                <div class="flex flex-col gap-2">
+                    <div class="flex flex-row gap-2 items-center">
+                        <div class="text-base font-medium">Microphone</div>
+                        <div class="text-sm text-gray-600" id="microphone-device-info">Loading...</div>
+                    </div>
+                    <div class="flex flex-row gap-4 items-center">
+                        <!-- microphone icon (muted/off) -->
+                        <svg xmlns="http://www.w3.org/2000/svg"
+                             class="h-5 w-5 text-gray-600"
+                             viewBox="0 0 20 20"
+                             fill="currentColor">
+                            <path d="M2.293 2.293a1 1 0 011.414 0l14 14a1 1 0 01-1.414 1.414l-14-14a1 1 0 010-1.414z"/>
+                            <path d="M13 8V4a3 3 0 10-6 0v1.293l6 6V8z"/>
+                            <path d="M8.707 13.707L7 12V8a3 3 0 013-3h.293l1.414 1.414A3 3 0 0113 8v4l-4.293-4.293z"/>
+                            <path d="M11 14.93V17h-2v-2.07A7.001 7.001 0 013 8a1 1 0 112 0 5 5 0 005 5 5.027 5.027 0 001-.101l1.414 1.414A6.956 6.956 0 0111 14.93zM15 8a1 1 0 10-2 0 3.001 3.001 0 01-.293 1.293l1.414 1.414A4.978 4.978 0 0015 8z"/>
+                        </svg>
+                        <!-- slider -->
+                        <input
+                            type="range"
+                            id="microphone-slider"
+                            min="0"
+                            max="100"
+                            step="1"
+                            value="50"
+                            aria-label="Microphone input volume"
+                            class="flex-grow h-2 bg-gray-300 rounded-lg appearance-none cursor-pointer"
+                        />
+                        <!-- microphone icon (active/high) -->
+                        <svg xmlns="http://www.w3.org/2000/svg"
+                             class="h-5 w-5 text-gray-600"
+                             viewBox="0 0 20 20"
+                             fill="currentColor">
+                            <path fill-rule="evenodd" d="M7 4a3 3 0 016 0v4a3 3 0 11-6 0V4zm4 10.93A7.001 7.001 0 0017 8a1 1 0 10-2 0A5 5 0 015 8a1 1 0 00-2 0 7.001 7.001 0 006 6.93V17H6a1 1 0 100 2h8a1 1 0 100-2h-3v-2.07z" clip-rule="evenodd"/>
+                        </svg>
+                        <!-- numeric label -->
+                        <span id="microphone-value" class="text-lg font-semibold w-12 text-center">50</span>
+                    </div>
+                </div>
+            </div>
+        </details>
+    </div>
+</div>

reachy_mini/daemon/app/dashboard/templates/sections/notification.html ADDED Viewed

@@ -0,0 +1,19 @@
+<!-- Notification Modal (Bottom Right) -->
+<div id="notification-modal" class="notification-modal">
+    <div class="notification-content" id="notification-content">
+        <!-- Notification message will appear here -->
+        <span id="notification-message"></span>
+        <button class="close-btn" onclick="closeNotification()">×</button>
+    </div>
+</div>
+<script>
+    function showNotification(message) {
+        document.getElementById('notification-message').textContent = message;
+        document.getElementById('notification-modal').style.display = 'block';
+        setTimeout(closeNotification, 5000); // Auto-close after 5s
+    }
+    function closeNotification() {
+        document.getElementById('notification-modal').style.display = 'none';
+    }
+</script>

reachy_mini/daemon/app/dashboard/templates/sections/update.html ADDED Viewed

@@ -0,0 +1,54 @@
+<div class="app-section">
+    <div class="app-section-title">Reachy Mini Update</div>
+    <div class="mt-2">
+        <button id="check-again-btn" class="px-4 py-2 bg-gray-200 hover:bg-gray-300 rounded-lg shadow"
+            onclick="updateManager.checkForUpdate()">Check for Updates</button>
+        <label style="margin-left:1em;">
+            <input type="checkbox" id="pre-release-checkbox"
+                onchange="updateManager.preRelease = this.checked; updateManager.checkForUpdate();">
+            pre-release
+        </label>
+    </div>
+    <div class="flex flex-col gap-2 pt-4">
+        <div id="update-status"></div>
+        <div class="flex flex-row gap-4">
+            <div class="flex flex-col gap-2 w-full px-4">
+                <div><span id="current-version" class="font-mono text-blue-700"></span></div>
+                <div><span id="available-version" class="font-mono text-green-700"></span></div>
+            </div>
+        </div>
+        <div class="mt-4">
+            <button id="start-update-btn"
+                class="px-4 py-2 bg-gray-200 hover:bg-gray-300 rounded-lg shadow hidden bg-green-400 hover:bg-green-500 text-white"
+                onclick="updateManager.startUpdate()">Start Update</button>
+        </div>
+    </div>
+</div>
+<div id="update-modal" tabindex="-1" aria-hidden="true"
+    class="hidden fixed inset-0 z-50 flex items-center justify-center w-full h-full">
+    <div class="relative p-4 w-full max-w-2xl max-h-full">
+        <div class="relative bg-white rounded-lg shadow-sm dark:bg-gray-700">
+            <div
+                class="flex items-center justify-between p-4 md:p-5 border-b rounded-t dark:border-gray-600 border-gray-200">
+                <h3 id="update-modal-title" class="text-xl font-semibold text-gray-900 dark:text-white"></h3>
+            </div>
+            <div class="p-4 md:p-5 space-y-4">
+                <div id="update-logs" class="overflow-y-auto max-h-48 text-gray-500 dark:text-gray-400">
+                </div>
+            </div>
+            <div
+                class="flex items-center justify-center p-4 md:p-5 border-t border-gray-200 rounded-b dark:border-gray-600">
+                <button id="update-modal-close-button" data-modal-hide="default-modal" type="button"
+                    class="px-4 py-2 bg-blue-600 dark:bg-blue-600 hover:bg-blue-700 text-white rounded-lg shadow hidden">
+                    Close
+                </button>
+            </div>
+        </div>
+    </div>
+</div>
+</div>

reachy_mini/daemon/app/dashboard/templates/sections/wifi.html ADDED Viewed

@@ -0,0 +1,46 @@
+<div class="app-section">
+    <div class="flex flex-row items-center gap-2">
+        <div class="app-section-title">Setup your WiFi</div>
+        <button id="refresh-wifi" title="Refresh" class="p-1 rounded hover:bg-gray-200 focus:outline-none"
+            onclick="cleanAndRefresh()">
+            🔄
+        </button>
+    </div>
+    <div class="flex flex-col p-4 gap-4">
+        <div id="wifi-status" class="wifi-status-info w-full">Checking WiFi configuration...</div>
+        <div id="known-networks" class="wifi-status-info hidden w-full">
+            Known Networks:
+            <ul id="known-networks-list" class="list-disc list-inside px-4"></ul>
+        </div>
+    </div>
+    <div id="add-wifi" class="hidden">
+        <div class="py-4 flex flex-col max-w-md">
+            <div class="app-section-title mb-2">Add new WiFi</div>
+            <div class="flex flex-row p-4">
+                <form id="wifi-form" class="max-w-md" onsubmit="return false;">
+                    <div class="mb-4">
+                        <label for="ssid" class="block mb-2 text-sm">SSID</label>
+                        <select id="ssid" name="ssid"
+                            class="bg-gray-50 border border-gray-300 text-gray-900 text-sm rounded-lg focus:ring-blue-500 focus:border-blue-500 block w-full p-2.5"
+                            required>
+                            <option value="" disabled selected>Select your WiFi network</option>
+                        </select>
+                    </div>
+                    <div class="mb-4">
+                        <label for="password" class="block mb-2 text-sm">Password</label>
+                        <input type="password" id="password" name="password"
+                            class="bg-gray-50 border border-gray-300 text-gray-900 text-sm rounded-lg focus:ring-blue-500 focus:border-blue-500 block w-full p-2.5"
+                            required>
+                    </div>
+                    <div class="">
+                        <input type="button" onclick="connectToWifi(event)" target="_blank" formtarget="_blank"
+                            value="Connect"
+                            class="text-white bg-blue-700 hover:bg-blue-800 focus:ring-4 focus:outline-none focus:ring-blue-300 font-medium rounded-lg text-sm w-full sm:w-auto px-5 py-2.5 text-center dark:bg-blue-600 dark:hover:bg-blue-700 dark:focus:ring-blue-800">
+                    </div>
+                </form>
+            </div>
+        </div>
+    </div>
+</div>

reachy_mini/daemon/app/dashboard/templates/settings.html ADDED Viewed

@@ -0,0 +1,14 @@
+{% extends "base.html" %}
+{% block content %}
+<div class="grid gap-4">
+    {% include "sections/update.html" %}
+    {% include "sections/wifi.html" %}
+</div>
+{% endblock %}
+{% block extra_js %}
+<script src="/static/js/update.js"></script>
+<script src="/static/js/wifi.js"></script>
+{% endblock %}

reachy_mini/daemon/app/dependencies.py ADDED Viewed

@@ -0,0 +1,41 @@
+"""FastAPI common request dependencies."""
+from fastapi import HTTPException, Request, WebSocket
+from ...apps.manager import AppManager
+from ..backend.abstract import Backend
+from ..daemon import Daemon
+def get_daemon(request: Request) -> Daemon:
+    """Get the daemon as request dependency."""
+    assert isinstance(request.app.state.daemon, Daemon)
+    return request.app.state.daemon
+def get_backend(request: Request) -> Backend:
+    """Get the backend as request dependency."""
+    backend = request.app.state.daemon.backend
+    if backend is None or not backend.ready.is_set():
+        raise HTTPException(status_code=503, detail="Backend not running")
+    assert isinstance(backend, Backend)
+    return backend
+def get_app_manager(request: Request) -> "AppManager":
+    """Get the app manager as request dependency."""
+    assert isinstance(request.app.state.app_manager, AppManager)
+    return request.app.state.app_manager
+def ws_get_backend(websocket: WebSocket) -> Backend:
+    """Get the backend as websocket dependency."""
+    backend = websocket.app.state.daemon.backend
+    if backend is None or not backend.ready.is_set():
+        raise HTTPException(status_code=503, detail="Backend not running")
+    assert isinstance(backend, Backend)
+    return backend