server

var DefaultGemaraVersion = gemara.SchemaVersion

var EmbeddedLexicon string

var MetadataMigrateGemaraArtifact = &mcp.Tool{
	Name:        "migrate_gemara_artifact",
	Description: "Migrate a Gemara artifact to v1 schema using CUE transformations. When the artifact is missing metadata fields (common in older v0 artifacts), use artifact_type and gemara_version to supply them.",
	InputSchema: map[string]interface{}{
		"type":     "object",
		"required": []string{"artifact_content"},
		"properties": map[string]interface{}{
			"artifact_content": map[string]interface{}{
				"type":        "string",
				"description": "YAML content of the Gemara artifact to migrate",
			},
			"artifact_type": map[string]interface{}{
				"type":        "string",
				"description": "Artifact type when metadata.type is missing. Infer from structure: threats → ThreatCatalog, controls → ControlCatalog.",
				"enum":        []string{gemara.ThreatCatalogArtifact.String(), gemara.ControlCatalogArtifact.String()},
			},
			"gemara_version": map[string]interface{}{
				"type":        "string",
				"description": "Source gemara-version when metadata.gemara-version is missing (e.g. \"0.20.0\").",
			},
		},
	},
}

var MetadataValidateGemaraArtifact = &mcp.Tool{
	Name:        "validate_gemara_artifact",
	Description: "Validate a Gemara artifact YAML content against the Gemara CUE schema using the CUE registry module.",
	InputSchema: map[string]interface{}{
		"type":     "object",
		"required": []string{"artifact_content", "definition"},
		"properties": map[string]interface{}{
			"artifact_content": map[string]interface{}{
				"type":        "string",
				"description": "YAML content of the Gemara artifact to validate",
			},
			"definition": map[string]interface{}{
				"type":        "string",
				"description": "CUE definition name to validate against (e.g., '#ControlCatalog', '#GuidanceCatalog', '#Policy', '#EvaluationLog')",
			},
			"version": map[string]interface{}{
				"type":        "string",
				"description": "Version of the Gemara module to validate against (default: 'latest')",
			},
		},
	},
}

var PromptControlCatalog = &mcp.Prompt{
	Name:        "control_catalog",
	Title:       "Control Catalog Wizard",
	Description: "Interactive wizard that guides you through creating a Gemara-compatible Control Catalog (Layer 2) for your project.",
	Arguments: []*mcp.PromptArgument{
		{
			Name:        "component",
			Title:       "Component Name",
			Description: "The name of the component or technology to create controls for (e.g., 'container runtime', 'API gateway', 'object storage')",
			Required:    true,
		},
		{
			Name:        "id_prefix",
			Title:       "ID Prefix",
			Description: "Organization and project prefix for identifiers in ORG.PROJECT.COMPONENT format (e.g., 'ACME.PLAT.GW')",
			Required:    true,
		},
	},
}

var PromptMigration = &mcp.Prompt{
	Name:        "migration",
	Title:       "Schema Migration Wizard",
	Description: "Interactive wizard that guides you through migrating Gemara artifacts from v0 to v1 schema, including CapabilityCatalog extraction from ThreatCatalog.",
	Arguments: []*mcp.PromptArgument{
		{
			Name:        "component",
			Title:       "Component Name",
			Description: "The name of the component whose artifacts are being migrated (e.g., 'container runtime', 'API gateway')",
			Required:    true,
		},
	},
}

var PromptThreatAssessment = &mcp.Prompt{
	Name:        "threat_assessment",
	Title:       "Threat Assessment Wizard",
	Description: "Interactive wizard that guides you through creating a Gemara-compatible Threat Catalog (Layer 2) for your project.",
	Arguments: []*mcp.PromptArgument{
		{
			Name:        "component",
			Title:       "Component Name",
			Description: "The name of the component or technology to assess (e.g., 'container runtime', 'API gateway', 'object storage')",
			Required:    true,
		},
		{
			Name:        "id_prefix",
			Title:       "ID Prefix",
			Description: "Organization and project prefix for identifiers in ORG.PROJECT.COMPONENT format (e.g., 'ACME.PLAT.GW')",
			Required:    true,
		},
	},
}

var ResourceLexicon = &mcp.Resource{
	URI:         LexiconResourceURI,
	Name:        "gemara-lexicon",
	Title:       "Gemara Lexicon",
	Description: "Term definitions for the Gemara security model.",
	MIMEType:    "text/yaml",
}

var ResourceSchemaDocs = &mcp.Resource{
	URI:         SchemaDocsResourceURI,
	Name:        "gemara-schema-docs",
	Title:       "Gemara Schema Documentation",
	Description: "CUE schema definitions for all Gemara artifact types (latest version). Use the versioned resource template for a specific version.",
	MIMEType:    "text/plain",
}

var ResourceSchemaDocsTemplate = &mcp.ResourceTemplate{
	URITemplate: SchemaDocsResourceURITemplate,
	Name:        "gemara-schema-docs-versioned",
	Title:       "Gemara Schema Documentation (versioned)",
	Description: "CUE schema definitions for a specific Gemara module version. Accepts a semver version parameter (e.g., v1.2.3) or 'latest'.",
	MIMEType:    "text/plain",
}