1. Conduid
  2. Developer Tools
  3. Gemara MCP
MCP server · Developer Tools

Gemara MCP

Gemara MCP Server

Unclaimed Apache-2.0 devtools
59Fair

Scored 14 hours ago · breakdown

About Gemara MCP

Gemara MCP is an MCP server published by gemaraproj in the Developer Tools category: gemara MCP Server.

The repository has 8 stars and 10 forks, with the last commit 2 days ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/gemaraproj/gemara-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (2)

migrate_gemara_artifactMigrate a Gemara artifact to v1 schema using CUE transformations

Parameters not published.

validate_gemara_artifactValidate YAML content against Gemara CUE schema definitions

Parameters not published.

Ask AI

✦

Ask AI about Gemara MCP

Powered by Claude · Grounded in docs

I know everything about Gemara MCP. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

Static checks derived from the repository 5 days ago. Heuristics on the source, not an audit.

  • ✓README presentThe repository ships documentation.
  • ✓License declaredUsable under a stated license.
  • ✓Tests presentA test suite exists in the repository.
  • ✓Dependencies pinnedA lockfile pins dependency versions.
  • ✓No dynamic code executionSource scan found no eval, dynamic Function, or shell execution.
  • !Scoped permissionsDoesn't declare a permission scope. Assume it can do anything its process can.

Releases

v0.6.0v0.6.0 · 16 Sep 2026Changelog Features feat: add gemara://about resource and richer server instructions @jpower432 (#122) feat: add OSPS baseline maturity config @slegarraga (#117) Bug Fixes fix: enable SBOM generation and correct artifact verification docs…
v0.5.0v0.5.0 · 16 Jul 2026Changelog Features feat: add MCP tool and resource annotations to conform with the latest MCP spec @jpower432 (#88) Maintenance chore(deps): Bump the dependencies group with 2 updates @[dependabot[bot]](https://github.com/apps/dependabot)…
v0.4.0v0.4.0 · 29 May 2026Changelog Add CODEOWNERS file for repository ownership @eddie-knight (#78) Features feat: use gemara.Lexicon from Go SDK for lexicon resource @jpower432 (#76) Bug Fixes ci: align release workflow with reusable workflow Docker pipeline…
v0.3.0v0.3.0 · 13 Apr 2026Changelog Features feat: upgrade go-gemara to v0.3.0 and adopt SDK constants @jpower432 (#57) Maintenance chore(deps): Bump cuelang.org/go from 0.16.0 to 0.16.1 in the dependencies group across 1 directory…
v0.2.0v0.2.0 · 6 Apr 2026Changelog ci: update auto-labeler action version @jpower432 (#36) ci: add images signing to the release workflow @jpower432 (#27) docs: updates README.md with new tools and image location @jpower432 (#26) Features feat: add…

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:<TAG> \
  --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 .

README fetched from the repository 5 days ago. The original is authoritative.

Questions

About Gemara MCP

How do I install Gemara MCP?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Gemara MCP safe to use with an AI agent?

Its trust score is 59 out of 100 (fair). It passes 5 of the 6 static security checks run so far; the failures are listed above. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Gemara MCP still maintained?

Yes — the latest release is v0.6.0 (16 Sep 2026), and the last commit was 2 days ago. The repository has 8 stars and 6 open issues.