mirror of
https://github.com/mistralai/mistral-vibe
synced 2026-04-25 17:14:55 +02:00
Co-authored-by: Clément Sirieix <clement.sirieix@mistral.ai> Co-authored-by: Kim-Adeline Miguel <kimadeline.miguel@mistral.ai> Co-authored-by: Lucas Marandat <31749711+lucasmrdt@users.noreply.github.com> Co-authored-by: Michel Thomazo <51709227+michelTho@users.noreply.github.com> Co-authored-by: Paul Cacheux <paul.cacheux@mistral.ai> Co-authored-by: Peter Evers <pevers90@gmail.com> Co-authored-by: Pierre Rossinès <pierre.rossines@mistral.ai> Co-authored-by: Pierre Rossinès <pierre.rossines@protonmail.com> Co-authored-by: Quentin <quentin.torroba@mistral.ai> Co-authored-by: Simon Van de Kerckhove <simon.vandekerckhove@mistral.ai> Co-authored-by: Val <102326092+vdeva@users.noreply.github.com> Co-authored-by: Vincent G <10739306+VinceOPS@users.noreply.github.com> Co-authored-by: Mistral Vibe <vibe@mistral.ai>
176 lines
6.3 KiB
Python
176 lines
6.3 KiB
Python
from __future__ import annotations
|
|
|
|
from dataclasses import dataclass
|
|
import sys
|
|
|
|
ALT_KEY = "⌥" if sys.platform == "darwin" else "Alt"
|
|
|
|
|
|
@dataclass
|
|
class Command:
|
|
aliases: frozenset[str]
|
|
description: str
|
|
handler: str
|
|
exits: bool = False
|
|
|
|
|
|
class CommandRegistry:
|
|
def __init__(self, excluded_commands: list[str] | None = None) -> None:
|
|
if excluded_commands is None:
|
|
excluded_commands = []
|
|
self.commands = {
|
|
"help": Command(
|
|
aliases=frozenset(["/help"]),
|
|
description="Show help message",
|
|
handler="_show_help",
|
|
),
|
|
"config": Command(
|
|
aliases=frozenset(["/config"]),
|
|
description="Edit config settings",
|
|
handler="_show_config",
|
|
),
|
|
"model": Command(
|
|
aliases=frozenset(["/model"]),
|
|
description="Select active model",
|
|
handler="_show_model",
|
|
),
|
|
"reload": Command(
|
|
aliases=frozenset(["/reload"]),
|
|
description="Reload configuration, agent instructions, and skills from disk",
|
|
handler="_reload_config",
|
|
),
|
|
"clear": Command(
|
|
aliases=frozenset(["/clear"]),
|
|
description="Clear conversation history",
|
|
handler="_clear_history",
|
|
),
|
|
"log": Command(
|
|
aliases=frozenset(["/log"]),
|
|
description="Show path to current interaction log file",
|
|
handler="_show_log_path",
|
|
),
|
|
"debug": Command(
|
|
aliases=frozenset(["/debug"]),
|
|
description="Toggle debug console",
|
|
handler="action_toggle_debug_console",
|
|
),
|
|
"compact": Command(
|
|
aliases=frozenset(["/compact"]),
|
|
description="Compact conversation history by summarizing",
|
|
handler="_compact_history",
|
|
),
|
|
"exit": Command(
|
|
aliases=frozenset(["/exit"]),
|
|
description="Exit the application",
|
|
handler="_exit_app",
|
|
exits=True,
|
|
),
|
|
"terminal-setup": Command(
|
|
aliases=frozenset(["/terminal-setup"]),
|
|
description="Configure Shift+Enter for newlines",
|
|
handler="_setup_terminal",
|
|
),
|
|
"status": Command(
|
|
aliases=frozenset(["/status"]),
|
|
description="Display agent statistics",
|
|
handler="_show_status",
|
|
),
|
|
"teleport": Command(
|
|
aliases=frozenset(["/teleport"]),
|
|
description="Teleport session to Vibe Nuage",
|
|
handler="_teleport_command",
|
|
),
|
|
"proxy-setup": Command(
|
|
aliases=frozenset(["/proxy-setup"]),
|
|
description="Configure proxy and SSL certificate settings",
|
|
handler="_show_proxy_setup",
|
|
),
|
|
"resume": Command(
|
|
aliases=frozenset(["/resume", "/continue"]),
|
|
description="Browse and resume past sessions",
|
|
handler="_show_session_picker",
|
|
),
|
|
"mcp": Command(
|
|
aliases=frozenset(["/mcp"]),
|
|
description="Display available MCP servers. Pass the name of a server to list its tools",
|
|
handler="_show_mcp",
|
|
),
|
|
"voice": Command(
|
|
aliases=frozenset(["/voice"]),
|
|
description="Configure voice settings",
|
|
handler="_show_voice_settings",
|
|
),
|
|
"leanstall": Command(
|
|
aliases=frozenset(["/leanstall"]),
|
|
description="Install the Lean 4 agent (leanstral)",
|
|
handler="_install_lean",
|
|
),
|
|
"unleanstall": Command(
|
|
aliases=frozenset(["/unleanstall"]),
|
|
description="Uninstall the Lean 4 agent",
|
|
handler="_uninstall_lean",
|
|
),
|
|
"rewind": Command(
|
|
aliases=frozenset(["/rewind"]),
|
|
description="Rewind to a previous message",
|
|
handler="_start_rewind_mode",
|
|
),
|
|
"data-retention": Command(
|
|
aliases=frozenset(["/data-retention"]),
|
|
description="Show data retention information",
|
|
handler="_show_data_retention",
|
|
),
|
|
}
|
|
|
|
for command in excluded_commands:
|
|
self.commands.pop(command, None)
|
|
|
|
self._alias_map = {}
|
|
for cmd_name, cmd in self.commands.items():
|
|
for alias in cmd.aliases:
|
|
self._alias_map[alias] = cmd_name
|
|
|
|
def get_command_name(self, user_input: str) -> str | None:
|
|
return self._alias_map.get(user_input.lower().strip())
|
|
|
|
def parse_command(self, user_input: str) -> tuple[str, Command, str] | None:
|
|
parts = user_input.strip().split(None, 1)
|
|
if not parts:
|
|
return None
|
|
|
|
cmd_word = parts[0]
|
|
cmd_args = parts[1] if len(parts) > 1 else ""
|
|
cmd_name = self.get_command_name(cmd_word)
|
|
if cmd_name is None:
|
|
return None
|
|
|
|
command = self.commands[cmd_name]
|
|
return cmd_name, command, cmd_args
|
|
|
|
def get_help_text(self) -> str:
|
|
lines: list[str] = [
|
|
"### Keyboard Shortcuts",
|
|
"",
|
|
"- `Enter` Submit message",
|
|
"- `Ctrl+J` / `Shift+Enter` Insert newline",
|
|
"- `Escape` Interrupt agent or close dialogs",
|
|
"- `Ctrl+C` Quit (or clear input if text present)",
|
|
"- `Ctrl+G` Edit input in external editor",
|
|
"- `Ctrl+O` Toggle tool output view",
|
|
"- `Shift+Tab` Toggle auto-approve mode",
|
|
f"- `{ALT_KEY}+↑↓` / `Ctrl+P/N` Rewind to previous/next message",
|
|
"",
|
|
"### Special Features",
|
|
"",
|
|
"- `!<command>` Execute bash command directly",
|
|
"- `@path/to/file/` Autocompletes file paths",
|
|
"",
|
|
"### Commands",
|
|
"",
|
|
]
|
|
|
|
for cmd in self.commands.values():
|
|
aliases = ", ".join(f"`{alias}`" for alias in sorted(cmd.aliases))
|
|
lines.append(f"- {aliases}: {cmd.description}")
|
|
return "\n".join(lines)
|