gemaraproj/gemara-mcp

开发工具

本页由 AI 翻译，技术细节请以原文为准。查看原文

8 stars 10 forks 质量 69 趋势 36Apache-2.0

Repository Install

盖马拉-MCP 服务器

概览

Gemara MCP Server - 一个用于Gemara文物管理的模型背景协议服务器. 要使用带有 MCP 客户端的服务器,请添加到您的 MCP 配置文件中。添加以下配置( 调整路径到二进制) : 服务器以两种模式之一运行,选择时使用 -- mode旗(默认:文物). 已释放的文物包括通过GitHub Actions OIDC生成的SLSA所建出地证明. 二等档案还包括SPDX SBOMS,每个都有自己的证明.

概述（AI 翻译）

Gemara MCP Server - 一个用于Gemara文物管理的模型背景协议服务器.

□ 楼

构建二进制 :

□ 安装

QQ MCP 客户端配置

要使用带有 MCP 客户端的服务器,请添加到您的 MCP 配置文件中。

添加以下配置( 调整路径到二进制) :

使用 Docker 键

如果从 Docker 运行, 请使用 :

□ 服务器模式

服务器以两种模式之一运行,选择使用 [[T0] 旗 (默认: artifact) .

□ 可用的工具、资源和提示

QQ 工具

工具 * * 描述 * * |:. validate_gemara_artifact 对照Gemara CUE schema定义验证 YAML 内容 migrate_gemara_artifact 利用 CUE 转换法将一个Gemara 文物迁移到 v1 计划

资源

资源 URI 描述 |:. QQ gemara://about LLM-优化 Gemara:七层模型,文物类型,计划,和SDKs. 使用嵌入式离线倒计时器从网站获取 QQ

本页由 AI 翻译，技术细节请以原文为准。

README

gemara-mcp

Gemara MCP Server - A Model Context Protocol server for Gemara artifact management.

Building

Build the binary:

make build

Installation

MCP Client Configuration

To use this server with an MCP client, add it to your MCP configuration file.

Add the following configuration (adjust the path to your binary):

{
  "mcpServers": {
    "gemara-mcp": {
      "command": "/absolute/path/to/gemara-mcp/bin/gemara-mcp",
      "args": ["serve"]
    }
  }
}

Using Docker

If running from Docker, use:

{
  "mcpServers": {
    "gemara-mcp": {
      "command": "docker",
      "args": [
        "run",
        "--rm",
        "-i",
        "ghcr.io/gemaraproj/gemara-mcp:latest",
        "serve"
      ]
    }
  }
}

Server Modes

The server operates in one of two modes, selected with the --mode flag (default: artifact).

Mode	Purpose
`advisory`	Read-only analysis and validation of existing artifacts
`artifact`	All advisory capabilities plus guided artifact creation wizards

gemara-mcp serve --mode advisory
gemara-mcp serve --mode artifact

Available Tools, Resources, and Prompts

Tools

Tool	Description
`validate_gemara_artifact`	Validate YAML content against Gemara CUE schema definitions
`migrate_gemara_artifact`	Migrate a Gemara artifact to v1 schema using CUE transformations

Resources

Resource URI	Description
`gemara://about`	LLM-optimized overview of Gemara: the seven-layer model, artifact types, schemas, and SDKs. Fetched from the website with an embedded offline fallback
`gemara://lexicon`	Term definitions for the Gemara security model
`gemara://schema/definitions`	CUE schema definitions for all Gemara artifact types (latest version)
`gemara://schema/definitions{?version}`	CUE schema definitions for a specific Gemara module version

Prompts (artifact mode only)

Prompt	Description
`threat_assessment`	Interactive wizard for creating a Gemara-compatible Threat Catalog
`control_catalog`	Interactive wizard for creating a Gemara-compatible Control Catalog
`migration`	Interactive wizard that guides you through migrating Gemara artifacts from v0 to v1 schema

Verifying Artifacts

Released artifacts include SLSA build provenance attestations generated via GitHub Actions OIDC. Binary archives also include SPDX SBOMs, each with its own attestation.

Container images

gh attestation verify oci://ghcr.io/gemaraproj/gemara-mcp: \
  --repo gemaraproj/gemara-mcp

Binary archives

gh attestation verify gemara-mcp_Linux_x86_64.tar.gz \
  --repo gemaraproj/gemara-mcp

Building Docker Image

docker build --build-arg VERSION=$(git describe --tags --always) --build-arg BUILD=$(git rev-parse --short HEAD) -t gemara-mcp .

在 GitHub 查看完整 README

安装

docker run --rm -i ghcr.io/gemaraproj/gemara-mcp:latest serve

新手？先看 mcpskill.org 教程 →

配置

{
  "mcpServers": {
    "gemara-mcp": {
      "command": "/absolute/path/to/gemara-mcp/bin/gemara-mcp",
      "args": ["serve"]
    }
  }
}