Setting up MCP Problem Type Skeleton

core/src/main/kotlin/org/evomaster/core/EMConfig.kt

@@ -711,6 +711,9 @@ class EMConfig {
             if (problemType == ProblemType.GRAPHQL && bbTargetUrl.isBlank()) {
                 throw ConfigProblemException("In black-box mode for GraphQL APIs, you must set the bbTargetUrl option")
             }
+            if (problemType == ProblemType.MCP && base.isBlank()) {
+                throw ConfigProblemException("In black-box mode for MCP servers, you must set the bbTargetUrl option")
+            }
         }
 
         if (!blackBox && bbExperiments) {
@@ -1446,7 +1449,8 @@ class EMConfig {
         REST(experimental = false),
         GRAPHQL(experimental = false),
         RPC(experimental = true),
-        WEBFRONTEND(experimental = true);
+        WEBFRONTEND(experimental = true),
+        MCP(experimental = true);
 
         override fun isExperimental() = experimental
     }

core/src/main/kotlin/org/evomaster/core/Main.kt

@@ -614,6 +614,10 @@ class Main {
                     WebModule()
                 }
 
+                EMConfig.ProblemType.MCP -> {
+                    throw IllegalStateException("MCP server analysis is not yet supported")
+                }
+
                 //this should never happen, unless we add new type and forget to add it here
                 else -> throw IllegalStateException("Unrecognized problem type: ${config.problemType}")
             }

core/src/main/kotlin/org/evomaster/core/problem/mcp/McpAction.kt

@@ -0,0 +1,18 @@
+package org.evomaster.core.problem.mcp
+
+import org.evomaster.core.problem.api.param.Param
+import org.evomaster.core.search.action.MainAction
+import org.evomaster.core.search.gene.Gene
+
+abstract class McpAction(
+    val id: String,
+    parameters: MutableList<Param>
+) : MainAction(false, parameters) {
+
+    val actionParameters: List<Param>
+        get() = children as List<Param>
+
+    override fun getName(): String = id
+
+    override fun seeTopGenes(): List<Gene> = actionParameters.flatMap { it.seeGenes() }
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/McpCallResult.kt

@@ -0,0 +1,22 @@
+package org.evomaster.core.problem.mcp
+
+import org.evomaster.core.search.action.ActionResult
+
+class McpCallResult : ActionResult {
+
+    companion object {
+        const val IS_ERROR = "IS_ERROR"
+    }
+
+    constructor(sourceLocalId: String) : super(sourceLocalId)
+
+    private constructor(other: McpCallResult) : super(other)
+
+    override fun copy(): McpCallResult = McpCallResult(this)
+
+    fun setIsError(isError: Boolean) {
+        addResultValue(IS_ERROR, isError.toString())
+    }
+
+    fun getIsError(): Boolean = getResultValue(IS_ERROR)?.toBoolean() ?: false
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/McpIndividual.kt

@@ -0,0 +1,45 @@
+package org.evomaster.core.problem.mcp
+
+import org.evomaster.core.problem.api.ApiWsIndividual
+import org.evomaster.core.problem.enterprise.EnterpriseChildTypeVerifier
+import org.evomaster.core.problem.enterprise.SampleType
+import org.evomaster.core.search.GroupsOfChildren
+import org.evomaster.core.search.Individual
+import org.evomaster.core.search.StructuralElement
+import org.evomaster.core.search.action.ActionComponent
+
+class McpIndividual(
+    sampleType: SampleType,
+    allActions: MutableList<out ActionComponent>,
+    mainSize: Int = allActions.size,
+    sqlSize: Int = 0,
+    mongoSize: Int = 0,
+    groups: GroupsOfChildren<StructuralElement> =
+        getEnterpriseTopGroups(allActions, mainSize, sqlSize, mongoSize, 0, 0, 0, 0)
+) : ApiWsIndividual(
+    sampleType = sampleType,
+    children = allActions,
+    childTypeVerifier = EnterpriseChildTypeVerifier(McpAction::class.java),
+    groups = groups
+) {
+
+    override fun copyContent(): Individual {
+        return McpIndividual(
+            sampleType,
+            children.map { it.copy() }.toMutableList() as MutableList<ActionComponent>,
+            mainSize = groupsView()!!.sizeOfGroup(GroupsOfChildren.MAIN)
+        )
+    }
+
+    fun addMcpAction(relativePosition: Int = -1, action: McpAction) {
+        addMainActionInEmptyEnterpriseGroup(relativePosition, action)
+    }
+
+    fun removeMcpActionAt(relativePosition: Int) {
+        removeMainActionGroupAt(relativePosition)
+    }
+
+    override fun seeMainExecutableActions(): List<McpAction> {
+        return super.seeMainExecutableActions() as List<McpAction>
+    }
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/McpInputParam.kt

@@ -0,0 +1,8 @@
+package org.evomaster.core.problem.mcp
+
+import org.evomaster.core.problem.api.param.Param
+import org.evomaster.core.search.gene.Gene
+
+class McpInputParam(name: String, gene: Gene) : Param(name, gene) {
+    override fun copyContent(): Param = McpInputParam(name, gene.copy())
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/McpResourceReadAction.kt

@@ -0,0 +1,33 @@
+package org.evomaster.core.problem.mcp
+
+import org.evomaster.core.search.action.Action
+
+/**
+ * Action to read an MCP resource.
+ * For direct resources (isTemplate=false), the URI is fixed and no genes are mutable.
+ * For template resources (isTemplate=true), one StringGene per URI template variable
+ * (e.g. {city} in weather:///{city}/current) is created and fuzzed independently;
+ * call resolvedUri() to interpolate current gene values into the template.
+ */
+class McpResourceReadAction(
+    val uriTemplate: String,
+    val uriParams: List<McpUriParam>,
+    val isTemplate: Boolean = false
+) : McpAction(
+    id = "resource",
+    parameters = uriParams.toMutableList()
+) {
+    override fun getName(): String = "resource:$uriTemplate"
+
+    fun resolvedUri(): String {
+        if (!isTemplate) return uriTemplate
+        var result = uriTemplate
+        uriParams.forEach { param ->
+            result = result.replace("{${param.name}}", param.primaryGene().getValueAsRawString())
+        }
+        return result
+    }
+
+    override fun copyContent(): Action =
+        McpResourceReadAction(uriTemplate, uriParams.map { it.copy() as McpUriParam }, isTemplate)
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/McpToolCallAction.kt

@@ -0,0 +1,17 @@
+package org.evomaster.core.problem.mcp
+
+import org.evomaster.core.search.action.Action
+import org.evomaster.core.search.gene.ObjectGene
+
+class McpToolCallAction(
+    val toolName: String,
+    val inputSchema: ObjectGene,
+    val description: String = ""
+) : McpAction(
+    id = "tool:$toolName",
+    parameters = mutableListOf(McpInputParam("input", inputSchema))
+) {
+    override fun copyContent(): Action {
+        return McpToolCallAction(toolName, inputSchema.copy() as ObjectGene, description)
+    }
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/McpUriParam.kt

@@ -0,0 +1,8 @@
+package org.evomaster.core.problem.mcp
+
+import org.evomaster.core.problem.api.param.Param
+import org.evomaster.core.search.gene.Gene
+
+class McpUriParam(name: String, gene: Gene) : Param(name, gene) {
+    override fun copyContent(): Param = McpUriParam(name, gene.copy())
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/client/HttpMcpClient.kt

@@ -0,0 +1,28 @@
+package org.evomaster.core.problem.mcp.client
+
+class HttpMcpClient(private val baseUrl: String) : McpClient {
+
+    fun initialize() {
+        throw UnsupportedOperationException("MCP server analysis is not yet supported")
+    }
+
+    override fun listTools(): List<McpToolDefinition> {
+        throw UnsupportedOperationException("MCP server analysis is not yet supported")
+    }
+
+    override fun listResources(): List<McpResourceDefinition> {
+        throw UnsupportedOperationException("MCP server analysis is not yet supported")
+    }
+
+    override fun listResourceTemplates(): List<McpResourceTemplate> {
+        throw UnsupportedOperationException("MCP server analysis is not yet supported")
+    }
+
+    override fun callTool(name: String, arguments: Map<String, Any?>): McpToolResult {
+        throw UnsupportedOperationException("MCP server analysis is not yet supported")
+    }
+
+    override fun readResource(uri: String): McpResourceResult {
+        throw UnsupportedOperationException("MCP server analysis is not yet supported")
+    }
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/client/McpClient.kt

@@ -0,0 +1,9 @@
+package org.evomaster.core.problem.mcp.client
+
+interface McpClient {
+    fun listTools(): List<McpToolDefinition>
+    fun listResources(): List<McpResourceDefinition>
+    fun listResourceTemplates(): List<McpResourceTemplate>
+    fun callTool(name: String, arguments: Map<String, Any?>): McpToolResult
+    fun readResource(uri: String): McpResourceResult
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/client/McpDTOs.kt

@@ -0,0 +1,36 @@
+package org.evomaster.core.problem.mcp.client
+
+data class McpToolDefinition(
+    val name: String,
+    val description: String = "",
+    val inputSchema: Map<String, Any?> = emptyMap()
+)
+
+data class McpResourceDefinition(
+    val uri: String,
+    val name: String = "",
+    val description: String = "",
+    val mimeType: String? = null
+)
+
+data class McpResourceTemplate(
+    val uriTemplate: String,
+    val name: String = "",
+    val description: String = ""
+)
+
+data class McpToolResult(
+    val content: List<McpContent> = emptyList(),
+    val isError: Boolean = false
+)
+
+data class McpResourceResult(
+    val contents: List<McpContent> = emptyList()
+)
+
+data class McpContent(
+    val type: String,
+    val text: String? = null,
+    val uri: String? = null,
+    val mimeType: String? = null
+)

core/src/main/kotlin/org/evomaster/core/problem/mcp/service/McpBlackBoxFitness.kt

@@ -0,0 +1,17 @@
+package org.evomaster.core.problem.mcp.service
+
+import org.evomaster.core.problem.mcp.McpIndividual
+import org.evomaster.core.search.EvaluatedIndividual
+
+class McpBlackBoxFitness : McpFitness() {
+
+    override fun doCalculateCoverage(
+        individual: McpIndividual,
+        targets: Set<Int>,
+        allTargets: Boolean,
+        fullyCovered: Boolean,
+        descriptiveIds: Boolean,
+    ): EvaluatedIndividual<McpIndividual>? {
+        throw UnsupportedOperationException("MCP server analysis is not yet supported")
+    }
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/service/McpBlackBoxModule.kt

@@ -0,0 +1,79 @@
+package org.evomaster.core.problem.mcp.service
+
+import com.google.inject.AbstractModule
+import com.google.inject.TypeLiteral
+import org.evomaster.core.output.service.NoTestCaseWriter
+import org.evomaster.core.output.service.TestCaseWriter
+import org.evomaster.core.problem.enterprise.service.EnterpriseSampler
+import org.evomaster.core.problem.mcp.McpIndividual
+import org.evomaster.core.remote.service.RemoteController
+import org.evomaster.core.remote.service.RemoteControllerImplementation
+import org.evomaster.core.search.service.Archive
+import org.evomaster.core.search.service.FitnessFunction
+import org.evomaster.core.search.service.FlakinessDetector
+import org.evomaster.core.search.service.Minimizer
+import org.evomaster.core.search.service.Sampler
+
+class McpBlackBoxModule(
+    val usingRemoteController: Boolean
+) : AbstractModule() {
+
+    override fun configure() {
+
+        bind(object : TypeLiteral<EnterpriseSampler<McpIndividual>>() {})
+            .to(McpSampler::class.java)
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<Sampler<McpIndividual>>() {})
+            .to(McpSampler::class.java)
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<Sampler<*>>() {})
+            .to(McpSampler::class.java)
+            .asEagerSingleton()
+
+        bind(McpSampler::class.java)
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<FitnessFunction<McpIndividual>>() {})
+            .to(McpBlackBoxFitness::class.java)
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<FitnessFunction<*>>() {})
+            .to(McpBlackBoxFitness::class.java)
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<Archive<McpIndividual>>() {})
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<Archive<*>>() {})
+            .to(object : TypeLiteral<Archive<McpIndividual>>() {})
+
+        bind(Archive::class.java)
+            .to(object : TypeLiteral<Archive<McpIndividual>>() {})
+
+        bind(object : TypeLiteral<Minimizer<McpIndividual>>() {})
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<Minimizer<*>>() {})
+            .to(object : TypeLiteral<Minimizer<McpIndividual>>() {})
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<FlakinessDetector<McpIndividual>>() {})
+            .asEagerSingleton()
+
+        bind(object : TypeLiteral<FlakinessDetector<*>>() {})
+            .to(object : TypeLiteral<FlakinessDetector<McpIndividual>>() {})
+            .asEagerSingleton()
+
+        if (usingRemoteController) {
+            bind(RemoteController::class.java)
+                .to(RemoteControllerImplementation::class.java)
+                .asEagerSingleton()
+        }
+
+        bind(TestCaseWriter::class.java)
+            .to(NoTestCaseWriter::class.java)
+            .asEagerSingleton()
+    }
+}

core/src/main/kotlin/org/evomaster/core/problem/mcp/service/McpFitness.kt

@@ -0,0 +1,6 @@
+package org.evomaster.core.problem.mcp.service
+
+import org.evomaster.core.problem.mcp.McpIndividual
+import org.evomaster.core.search.service.FitnessFunction
+
+abstract class McpFitness : FitnessFunction<McpIndividual>()