We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/mobile-dev-inc/Maestro'
If you have feedback or need assistance with the MCP directory API, please join our Discord server
package maestro.device.util
object SystemInfo {
fun getJavaVersion(): Int {
// Adapted from https://stackoverflow.com/a/2591122/7009800
val version = System.getProperty("java.version")
return if (version.startsWith("1.")) {
version.substring(2, 3).toInt()
} else {
val dot = version.indexOf(".")
if (dot != -1) version.substring(0, dot).toInt() else 0
}
}
}