#!/bin/bash
# Build script for Joern Docker image
set -e
echo "šļø Building Joern Docker image..."
# Check if Docker is running
if ! docker info > /dev/null 2>&1; then
echo "ā Docker is not running. Please start Docker and try again."
exit 1
fi
# Build the image
echo "š¦ Building joern:latest image..."
docker build -f Dockerfile.joern -t joern:latest . --progress=plain
# Verify the image was built
if docker images | grep -q "joern.*latest"; then
echo "ā Joern image built successfully!"
echo "š Image size:"
docker images joern:latest --format "table {{.Repository}}\t{{.Tag}}\t{{.Size}}"
else
echo "ā Failed to build Joern image"
exit 1
fi
echo ""
echo "š Ready to run the Joern MCP Server!"
echo " Usage: python main.py"
echo ""
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/Lekssays/joern-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server