Cryo
Provides diagnostics for local Git repositories, including branch, HEAD, dirty state, and remotes, enabling AI agents to inspect repository health.
Provides system and Nix flake diagnostics for the NixOS ecosystem, including OS version/build metadata, flake manifest inspection, and checks for Nix development binaries.
Click on "Deploy Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@Cryorun diagnostics on this repo and check my Nix environment"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
π· Sled
NixOS Atomic Model Context Protocol (MCP) Store & Server Bridge for the SpanishSyntax & Frost Ecosystem
Sled is a pure, hermetic Model Context Protocol (MCP) Store and Server Bridge built for the Frost NixOS ecosystem alongside Flaker, Glaze, Snowpack, Borealis, Firn, and Tundra.
Instead of monolithic macro-tools or abstract bundles, Sled atomizes every capability into focused Unix, Git, System, Docker, Systemd, NixOS, and Network primitives (ls, cat, grep, git_status, ps, df, docker_ps, journalctl, nix_search, etc.).
πͺ Dual-Mode Store & Local Tool Search
Sled operates at two synchronized granularities:
Pack Mode (
sled store/sled packs): Group-level toggling with live preview of member tools right in the pack description.Atomic Tool Mode (
sled store tools/sled tools): Toggle every single tool on or off independently.Local Search (
sled search <query>//in TUI): Search across all built-in tools and packs locally by name, pack, description, and argumentsβwith zero external network requests.
Press Tab in sled store at any time to switch instantly between Pack Mode and Tool Mode, and press / to live-filter matching tools.
Related MCP server: DevTwin MCP
π¦ Capability Packs & 72 Atomic Tools
Pack | Icon | Atomic Tools | Description |
| π |
| Atomic filesystem inspection, ripgrep/fd-accelerated search, jq filters, Nix SRI hashes, and Magika file typing |
| πΏ |
| Non-interactive Git execution, status, history, diffs, branches, commits, stashes, divergence, blame, and GitHub CLI PRs/issues |
| π₯οΈ |
| Host OS/kernel info, uptime, process table, disk usage, memory, PATH binaries, block devices, and Zoxide path queries |
| π³ |
| Containers, logs, stats, images, volumes, networks, lifecycle, and Compose |
| π§ |
| System & user service units, properties, lifecycle actions, and journal logs |
| βοΈ |
| System/HM generations, flake inspection, nixpkgs search, evaluation, store size, flake check, generation diffs, package builds, app runs, and hermetic DevShell execution |
| π |
| IP interfaces, routing table, listening ports ( |
| ποΈ |
| Frost ecosystem tools: Flaker DevShells & scaffolding, Snowpack multi-mode document/slides/paper compiler (Typst & LaTeX), Glaze renamer, and Borealis telemetry |
| π οΈ |
| Polyglot formatters (ruff, rustfmt, alejandra, shfmt), linters (shellcheck, statix, taplo), static checks (ty, cargo), and Frost toolchain diagnostics |
π Quick Start
# Open interactive dashboard
sled
# Launch interactive Store (Pack Mode; press Tab for Tool Mode, / for live search)
sled store
# Launch directly in Atomic Tool Mode
sled store tools
# Search built-in tools locally (e.g. matching "log")
sled search log
# Search and interactively toggle matching tools
sled search log -i
# Enable or disable whole packs OR individual atomic tools
sled enable fs git
sled disable docker_action systemctl_action
# Inspect registered atomic tools with parameter signatures
sled tools
# Execute any atomic tool directly from your terminal
sled run ls path=.
sled run ping host=1.1.1.1 count=1
sled run uname
# Start the MCP stdio server (used by Antigravity, OpenCode, Claude)
sled serveβοΈ Frost Integration (home/applications/icebergs/sled.nix)
By default in Frost, sled uses mkOutOfStoreSymlink pointing ~/.config/sled/sled.toml -> ~/Frost/home/configs/sled/sled.toml so changes made via sled store or sled enable/disable take effect immediately without a NixOS rebuild while staying tracked in Git.
frost.home.apps.icebergs.sled = {
enable = true;
# Declarative packs or atomic tools (optional):
# packs = [ "fs" "git" "system" "docker" "systemd" "nixos" "network" ];
# tools = [ "ls" "cat" "grep" "git_status" "docker_ps" "journalctl" ];
};π License
MIT Β© SpanishSyntax
This server cannot be deployed
Maintenance
Related MCP Connectors
Persistent memory, hybrid search and a goal graph for AI agents, over stdio or remote HTTP.
Nifty's MCP server β exposes tasks, projects, messages, and files as tools for AI agents.
Remote MCP server exposing your Node Command fleet (files, shell, processes, browser) to AI hosts.
Context and control for any AI. Agent identity, scoped access, and proof across tools.
Related MCP Servers
- AlicenseNot gradedqualityBmaintenanceEnables AI assistants to interact with NixOS development tools, manage builds, and optimize workflows through natural language.Apache 2.0
- AlicenseAqualityBmaintenanceProvides AI coding agents with structured, evidence-based diagnostics about the local development environment, detecting tech stack, runtime mismatches, dependency state, services, ports, and Git status without exposing secrets or using network calls.10Apache 2.0
- AlicenseAqualityBmaintenanceEnables MCP-compatible AI assistants to inspect projects, processes, ports, logs, HTTP endpoints, Git state, and development databases for local runtime diagnostics.7MIT
- AlicenseNot gradedqualityAmaintenanceEnables AI agents to open, edit, check, run, emit, and save source programs through structured, revision-checked tools over stdio, confining paths to the launch root and returning diagnostics with fixes for rejected edits.6 npm2Apache 2.0