gobraverifier/gobra-base

镜像概述

本镜像基于官方Ubuntu镜像构建，集成了curl、git、gnupg2、locales、unzip、OpenJDK 11、sbt、z3等常用开发工具与依赖，为相关项目提供稳定的基础运行环境。所有软件均来自合法开源渠道，符合合规要求。

核心功能

• 网络通信：通过curl实现HTTP/HTTPS等网络请求
• 版本控制：使用git进行代码管理与版本追踪
• Java开发：内置OpenJDK 11，支持Java应用开发
• Scala构建：通过sbt工具完成Scala项目的编译与打包
• 定理证明：集成z3定理证明器，支持形式化验证任务
• 辅助工具：包含gnupg2（加密）、unzip（解压）、locales（本地化配置）等实用组件

使用场景

• Java/Scala项目的开发与构建环境搭建
• 需要z3定理证明器的形式化验证任务
• 日常开发中基础工具集的快速部署需求

配置说明

本镜像无需额外配置即可直接使用。若需调整本地化设置（如语言、编码），可在容器内执行locale-gen等命令；若需更新工具版本，可通过apt或对应工具的官方方式进行升级。

部署示例

Docker Run

快速启动容器并进入交互终端：

bash
docker run -it --rm gobraverifier/gobra-base bash

Docker Compose（示例）

yaml
version: '3'
services:
  gobra-base:
    image: gobraverifier/gobra-base
    container_name: gobra-base-dev
    tty: true

执行docker-compose up -d启动容器，再通过docker exec -it gobra-base-dev bash进入终端。