runtimeverificationinc/kframework-kK Framework的Docker镜像，提供容器化的K语言工具包，用于编程语言设计、语义定义及形式化程序分析，简化依赖管理，支持快速部署和跨平台使用。
3 收藏0 次下载activeruntimeverificationinc镜像
ubuntu-noble-7.1.310
docker pull docker.xuanyuan.run/runtimeverificationinc/kframework-k:ubuntu-noble-7.1.310
更新时间：2026/01/07 06:03:21
| 层 | 系统架构 | 大小 |
|---|---|---|
sha256:fe86375c5...sha256:fe863... sha256:fe86375c5885cace11364bf22412ab657a7e87607d6da169b175cfd3ab94fffc | linux/amd64 | 1.17 GB |
ubuntu-jammy-7.1.310
docker pull docker.xuanyuan.run/runtimeverificationinc/kframework-k:ubuntu-jammy-7.1.310
更新时间：2026/01/07 05:51:43
| 层 | 系统架构 | 大小 |
|---|---|---|
sha256:f2e16e49c...sha256:f2e16... sha256:f2e16e49c9b99eb3f88a3c456eedfb1c4e989c65011008a9d16432d250a299f1 | linux/amd64 | 1.19 GB |
ubuntu-noble-7.1.309
docker pull docker.xuanyuan.run/runtimeverificationinc/kframework-k:ubuntu-noble-7.1.309
更新时间：2026/01/07 03:31:37
| 层 | 系统架构 | 大小 |
|---|---|---|
sha256:90289edd2...sha256:90289... sha256:90289edd2f57100942523b877ef318dd988da011096fe24424390b95d43611fc | linux/amd64 | 1.17 GB |
ubuntu-noble-7.1.308
docker pull docker.xuanyuan.run/runtimeverificationinc/kframework-k:ubuntu-noble-7.1.308
更新时间：2025/12/19 10:26:50
| 层 | 系统架构 | 大小 |
|---|---|---|
sha256:59597056e...sha256:59597... sha256:59597056e1cd94201fc764077b8b15d5d3014492da99e90749835799db99da62 | linux/amd64 | 1.17 GB |
ubuntu-jammy-7.1.308
docker pull docker.xuanyuan.run/runtimeverificationinc/kframework-k:ubuntu-jammy-7.1.308
更新时间：2025/12/19 10:18:51
| 层 | 系统架构 | 大小 |
|---|---|---|
sha256:3c5c81f56...sha256:3c5c8... sha256:3c5c81f5621f259333885bf853dbed0a421c744006165fb5ea4f9b455722a944 | linux/amd64 | 1.19 GB |
轩辕镜像配置手册
探索更多轩辕镜像的使用方法，找到最适合您系统的配置方式
登录仓库拉取
通过 Docker 登录认证访问私有仓库
Linux
在 Linux 系统配置镜像服务
Windows/Mac
在 Docker Desktop 配置镜像
Docker Compose
Docker Compose 项目配置
K8s Containerd
Kubernetes 集群配置 Containerd
K3s
K3s 轻量级 Kubernetes 镜像加速
宝塔面板
在宝塔面板一键配置镜像
群晖
Synology 群晖 NAS 配置
飞牛
飞牛 fnOS 系统配置镜像
极空间
极空间 NAS 系统配置服务
爱快路由
爱快 iKuai 路由系统配置
绿联
绿联 NAS 系统配置镜像
威联通
QNAP 威联通 NAS 配置
Podman
Podman 容器引擎配置
Singularity/Apptainer
HPC 科学计算容器配置
其他仓库配置
ghcr、Quay、nvcr 等镜像仓库
专属域名拉取
无需登录使用专属域名
需要其他帮助？请查看我们的 常见问题Docker 镜像访问常见问题解答 或 提交工单
镜像拉取常见问题
轩辕镜像免费版与专业版有什么区别？
免费版仅支持 Docker Hub 访问，不承诺可用性和速度；专业版支持更多镜像源，保证可用性和稳定速度，提供优先客服响应。
轩辕镜像支持哪些镜像仓库？
专业版支持 docker.io、gcr.io、ghcr.io、registry.k8s.io、nvcr.io、quay.io、mcr.microsoft.com、docker.elastic.co 等；免费版仅支持 docker.io。
流量耗尽错误提示
当返回 402 Payment Required 错误时，表示流量已耗尽，需要充值流量包以恢复服务。
410 错误问题
通常由 Docker 版本过低导致，需要升级到 20.x 或更高版本以支持 V2 协议。
manifest unknown 错误
先检查 Docker 版本，版本过低则升级；版本正常则验证镜像信息是否正确。
镜像拉取成功后，如何去掉轩辕镜像域名前缀？
使用 docker tag 命令为镜像打上新标签，去掉域名前缀，使镜像名称更简洁。
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"