MCP servers tagged microkernel

4 live MCP servers tagged "microkernel", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with microkernel.

live servers

avg trust

10K

most stars

Astrid

Astrid is a portable, capability-secure operating system for composable software.

★ 10K

Agentkernel

Run AI coding agents in secure, isolated microVMs. Sub-125ms boot times, real hardware isolation.

Top-Celestial-Company-Ltd/DROS-VajraClaw-Hacker

Top-Celestial-Company-Ltd

band execution governance gateway and W3C DID security guardrail for AI Agent MCP tool calls.

★ 16updated 10 days ago

Alisonbot

GWNWRAL

AlisonBot：微内核 + 一切皆插件（UI / 对话平台 / 人设 / 引导 / 自治都是插件）—— 基于 Koishi + ChatLuna 的自托管 AI 聊天机器人，支持热更新、插件自装自修与多平台适配（OneBot / SnowLuma / MCP / AstrBot / NoneBot2）

★ 1updated 9 days ago