Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

Kotlin & Java Library Sources

OCI · GHCR.IO/AORESHKOV/KOTLIN-LIB-MCP:0.6.0 · SCANNED SEP 20

Kotlin/Java library sources, public API and KDoc from the real Maven sources jar, for AI agents

+4 this week 47 Trust /100
Trust breakdown (7 categories)

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →

Supply Chain Security0
  • Malware scan not yet available for this package.Unverified
  • Known CVEs could not be checked: this artifact ships no SBOM, so there is no dependency list to read. Publishing one would let us assess it.Unverified
  • Install-script risk not yet assessed.Unverified
  • Dependency health could not be checked: this artifact ships no SBOM, so there is no dependency list to read. Publishing one would let us assess it.Unverified
Provenance & Transparency48
  • Source repository is publicly reachable at the declared URL. View diagnostics → Pass
  • Provenance check failed: no build-provenance attestation is published. See how to fix → View diagnostics → Fail
  • Clear OSI-approved license (Apache-2.0).Pass
  • Actively maintained (last published 7 days ago).Pass
  • Publishes a security disclosure policy (SECURITY.md).Pass
Schema Quality & AI Usability84
  • 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).Pass
  • AI-judged instruction clarity (excellent).Pass
  • Context-footprint check failed: tool/resource definitions use about 1966 tokens (~178/item across 11 items; 11 tools + 0 resources), over budget; trim descriptions and params. See how to fix → Fail
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management27
  • Stability observed for 8 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage100
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 100% of tool parameters carry a description.Pass
  • Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • We read all 11 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 12 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
  • Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass

Unverified: 1 category

A category scored 0 because we could not verify it: a data source with nothing on this package, evidence we could not reach, or a check we could not run. We only credit what we can confirm.

Install

How do I install the Kotlin & Java Library Sources MCP server?

Kotlin & Java Library Sources runs locally as a container image, launched with docker run --rm -i ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0. Ready-made configuration for Claude, Cursor, VS Code, Codex and 3 more is on this page, copied from each client's own documentation.

oci · ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0

# add to Claude Code
claude mcp add aoreshkov-kotlin-lib-mcp -- docker run --rm -i ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0
// .cursor/mcp.json
{
  "mcpServers": {
    "aoreshkov-kotlin-lib-mcp": {
      "command": "docker",
      "args": [
        "run",
        "--rm",
        "-i",
        "ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0"
      ]
    }
  }
}
// .vscode/mcp.json
{
  "servers": {
    "aoreshkov-kotlin-lib-mcp": {
      "command": "docker",
      "args": [
        "run",
        "--rm",
        "-i",
        "ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0"
      ]
    }
  }
}
# add to Codex CLI
codex mcp add aoreshkov-kotlin-lib-mcp -- docker run --rm -i ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0
// opencode.json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "aoreshkov-kotlin-lib-mcp": {
      "type": "local",
      "command": [
        "docker",
        "run",
        "--rm",
        "-i",
        "ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0"
      ],
      "enabled": true
    }
  }
}
# ~/.hermes/config.yaml
mcp_servers:
  aoreshkov-kotlin-lib-mcp:
    command: "docker"
    args: ["run", "--rm", "-i", "ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0"]
// ~/.netclaw/config/netclaw.json
{
  "McpServers": {
    "aoreshkov-kotlin-lib-mcp": {
      "Transport": "stdio",
      "Command": "docker",
      "Arguments": [
        "run",
        "--rm",
        "-i",
        "ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0"
      ]
    }
  }
}
// mcp.json
{
  "mcpServers": {
    "aoreshkov-kotlin-lib-mcp": {
      "command": "docker",
      "args": [
        "run",
        "--rm",
        "-i",
        "ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0"
      ]
    }
  }
}
Changelog

Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 20 Sept 26 +4
    • Stability: unverified → 0.27 functional
  • 12 Sept 26 43

    First indexed and scored.

Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 20 Sept 2026 · Analysed oci/ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0

Provenance No attestation

The registry publishes no build provenance for this version, so there is nothing to verify.

Result No attestation
Ecosystem oci
Reason No attestation published

Background: How many MCP packages publish verified provenance →

MCP tools · 11 exposed · ~1,876 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
diff_versions ~303

Compare the sources of two already-fetched versions of one artifact and report what changed, as unified diff hunks. Call fetch_library for BOTH versions first. Summary counts (filesAdded/filesRemoved/filesModified) describe the whole comparison; 'files' is a bounded page of it ('truncated: true' when more matched — advance 'offset'). Added and removed files report line counts but no hunks; read them with get_source. Narrow a large library with 'path' before paging through it.

NameTypeReqDescription
artifactstringyesMaven artifact id, e.g. 'ktor-client-core'
contextLinesintegerUnchanged lines of context around each hunk, 0-10 (default 3)
fromVersionstringyesBaseline version, e.g. '3.4.0'
groupstringyesMaven group id, e.g. 'io.ktor'
maxResultsintegerFiles per page, 1-50 (default 20)
offsetintegerNumber of changed files to skip for paging (default 0)
pathstringOnly files whose path contains this, e.g. 'io/ktor/client/engine'. Paths have their KMP target directory stripped, so they read like 'commonMain/io/ktor/client/HttpClient.kt'.
toVersionstringyesVersion to compare against the baseline, e.g. '3.5.1'
NameTypeReqDescription
artifactstringyes
filesarray
filesAddedinteger
filesModifiedinteger
filesRemovedinteger
fromVersionstringyes
groupstringyes
toVersionstringyes
truncatedboolean

No examples provided.

fetch_library ~216

Download, extract and analyze the sources of a Maven-published Kotlin/Java library, warming the local cache. Idempotent — call this once per coordinate before using the other tools. The version may be omitted or set to 'latest' (e.g. 'io.ktor:ktor-client-core' or 'io.ktor:ktor-client-core:latest') to fetch the latest stable release — clients that support elicitation may ask the user to pick a version in that case. Returns a summary (resolved coordinate, KMP targets, file and package counts). Over stdio it also returns 'extractedDir', the local root of the extracted sources: if you have file tools of your own, reading or diffing files under it directly is much cheaper than paging them through get_source.

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact:version', e.g. 'io.ktor:ktor-client-core:3.5.1'. The version may be omitted or 'latest' to resolve the latest stable release.
NameTypeReqDescription
coordinateyes
extractedDir
fromCacheboolean
packageCountinteger
resolvedTargetsarray
sourceFileCountinteger

No examples provided.

get_api_signature ~109

Full resolved signature of one declaration by fully-qualified name: type parameters, parameters, return type, supertypes, modifiers. 'bestEffort: true' marks signatures recovered from raw source when type resolution was incomplete.

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact:version', e.g. 'io.ktor:ktor-client-core:3.5.1'
fqNamestringyesFully-qualified declaration name, e.g. 'io.ktor.client.HttpClient'
NameTypeReqDescription
symbolyes

No examples provided.

get_dependencies ~177

Dependency tree of a library parsed from its .pom/.module metadata: direct dependencies with scopes, optionally transitive to a bounded depth. Works without fetch_library (reads repository metadata, not sources). The returned tree is bounded by 'maxNodes' as well as by 'depth': when 'truncated' is true the tree was pruned breadth-first (direct dependencies kept, deepest transitives dropped) and 'totalNodes' says how large it really is.

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact:version', e.g. 'io.ktor:ktor-client-core:3.5.1'
depthintegerTransitive resolution depth, 1-5 (default 1 = direct only)
maxNodesintegerNodes to return, 1-1000 (default 200)
NameTypeReqDescription
rootyes
totalNodesinteger
truncatedboolean

No examples provided.

get_kdoc ~108

KDoc of one declaration by fully-qualified name: summary, description, and structured tags (@param, @return, @throws, @sample, …). 'kdoc: null' means the declaration is undocumented.

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact:version', e.g. 'io.ktor:ktor-client-core:3.5.1'
fqNamestringyesFully-qualified declaration name, e.g. 'io.ktor.client.HttpClient'
NameTypeReqDescription
fqNamestringyes
kdoc

No examples provided.

get_latest_version ~122

Resolve the latest version of an artifact from the repository's maven-metadata.xml. Accepts 'group:artifact' or a full 'group:artifact:version' coordinate (the version part is ignored). Returns the latest stable release plus the newest version overall (including pre-releases) and the total version count. Works without fetch_library.

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact' or 'group:artifact:version'
includePreReleasesbooleanTreat the newest pre-release as 'the latest' (default false)
NameTypeReqDescription
artifactstringyes
groupstringyes
includedPreReleasesboolean
latest
latestStable
totalVersionsinteger

No examples provided.

get_source ~222

Raw source of a whole file (by 'path', as returned by other tools, e.g. 'jvm/io/ktor/client/HttpClient.kt') or of a single declaration (by 'fqName'). Provide exactly one of the two. Results are paged ('truncated: true' with a 'totalLines' when the file or declaration is longer than the returned page; advance 'startLine' to read on).

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact:version', e.g. 'io.ktor:ktor-client-core:3.5.1'
fqNamestringFully-qualified declaration name to slice out of its file
maxLinesintegerPage size in lines, 1-5000 (default 500)
pathstringSource file path relative to the extracted sources root
startLineinteger1-based line to start at, absolute in the file (default: line 1, or the declaration's first line when using 'fqName')
NameTypeReqDescription
contentstringyes
pathstringyes
startLineinteger
totalLinesinteger
truncatedboolean

No examples provided.

list_declarations ~190

List classes/interfaces/objects/functions/properties of a fetched library with signatures and visibility. Optionally filter by package and visibility (public [default], internal, or all). Results are paged ('truncated: true' with a 'totalCount' when more matched than the returned page; advance 'offset' to fetch the rest).

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact:version', e.g. 'io.ktor:ktor-client-core:3.5.1'
maxResultsintegerPage size, 1-500 (default 100)
offsetintegerNumber of matching declarations to skip for paging (default 0)
packagestringOnly declarations in this package, e.g. 'io.ktor.client'
visibilitystringVisibility filter: 'public' (default), 'internal', or 'all'
NameTypeReqDescription
coordinateyes
declarationsarray
packageName
totalCountinteger
truncatedboolean

No examples provided.

list_packages ~138

List the packages discovered in a fetched library's sources, with declaration counts and the KMP targets each package appears in. Results are paged ('truncated: true' with a 'totalCount' when the library has more than the returned page; advance 'offset' to fetch the rest).

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact:version', e.g. 'io.ktor:ktor-client-core:3.5.1'
maxResultsintegerPage size, 1-1000 (default 200)
offsetintegerNumber of packages to skip for paging (default 0)
NameTypeReqDescription
coordinateyes
packagesarray
totalCountinteger
truncatedboolean

No examples provided.

list_versions ~149

List the published versions of an artifact from the repository's maven-metadata.xml. Accepts 'group:artifact' or a full 'group:artifact:version' coordinate (the version part is ignored). Works without fetch_library. Newest first and paged ('truncated: true' with a 'totalCount' when the artifact has more than the returned page; advance 'offset' for older versions).

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact' or 'group:artifact:version'
maxResultsintegerPage size, 1-500 (default 100)
offsetintegerNumber of versions to skip for paging (default 0)
NameTypeReqDescription
artifactstringyes
groupstringyes
totalCountinteger
truncatedboolean
versionsarray

No examples provided.

search_source ~142

Search a fetched library's sources line by line and return file:line hits with a snippet. Substring match by default; set 'regex' for Kotlin regex syntax. Results are capped ('truncated: true' when more existed).

NameTypeReqDescription
coordinatestringyesMaven coordinate 'group:artifact:version', e.g. 'io.ktor:ktor-client-core:3.5.1'
maxResultsintegerResult cap, 1-200 (default 50)
querystringyesSubstring (default) or regex to search for
regexbooleanTreat 'query' as a regular expression (default false)
NameTypeReqDescription
hitsarray
querystringyes
truncatedboolean

No examples provided.

Common questions

What is the Kotlin & Java Library Sources MCP server?

Kotlin & Java Library Sources is an MCP server listed in the public MCP registry as io.github.aoreshkov/kotlin-lib-mcp. Kotlin/Java library sources, public API and KDoc from the real Maven sources jar, for AI agents. This page covers its container image (ghcr.io/aoreshkov/kotlin-lib-mcp:0.6.0).

Is the Kotlin & Java Library Sources MCP server safe to use?

Kotlin & Java Library Sources scores 47 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

What tools does the Kotlin & Java Library Sources MCP server expose?

Kotlin & Java Library Sources exposes 11 tools: fetch_library, list_packages, list_declarations, get_api_signature, get_kdoc, and 6 more. Their descriptions and schemas cost roughly 1,876 tokens of context every time the server is loaded.

Is the Kotlin & Java Library Sources MCP server still maintained?

Kotlin & Java Library Sources is still listed as active in the MCP registry. We last reached this channel on 20 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

What licence is the Kotlin & Java Library Sources MCP server under?

Kotlin & Java Library Sources declares the Apache-2.0 licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.