Actenon Kernel MCP Server

The claims: machine-verified badge links to a CI gate (verify-claims. It runs locally over stdio via the published package.

People who work with agent security, ai governance and proofs and want it reachable from Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-07-26 · ★ 2 · #56 OF 106 MAINTAINED AI & ML · VERIFIED 2026-09-18

Apache-2.0 · Python servers · how we verify → /methodology

01 · Install Actenon Kernel

Claude Code

claude mcp add actenon-actenon-kernel -- uvx actenon-kernel

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "actenon-actenon-kernel": {
      "command": "uvx",
      "args": [
        "actenon-kernel"
      ]
    }
  }
}

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as local process (stdio) - runs on your machine with your user's permissions

license Apache-2.0 - declared in the repository

pypi package actenon-kernel - check the name against the project README before installing (PyPI has no namespace ownership)

registry namespace io.github.Actenon is GitHub-verified and matches the repo owner

03 · What Actenon Kernel can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

Latest releases

v0.1.0-public-kernel · 2026-06-05

Actenon v0.1.0 Public Kernel · Initial public release of the Actenon verifier kernel. · Actenon is an open proof gate and receipt standard for consequential AI actions. · > No valid proof, no execution. · Included…

04 · Who maintains Actenon Kernel

Actenon Kernel is maintained by actenon. It's the only MCP server we track from this author; the repo dates to Jun 2026.

05 · Facts

repository: github.com/actenon/actenon-kernel
website: https://github.com/Actenon/actenon-kernel
category: AI & ML - ranked #56 of 106 actively-maintained AI & ML servers as of 2026-09-18.
registry: io.github.Actenon/kernel (active, first published 2026-07-24 · 2 versions)
packages: pypi:actenon-kernel

06 · Actenon Kernel FAQ

What is Actenon Kernel?

The claims: machine-verified badge links to a CI gate (verify-claims. It runs locally over stdio via the published package.

Is Actenon Kernel still maintained?

Yes - as of 2026-09-18, its last commit was 2026-07-26. We re-verify nightly.

How do I install Actenon Kernel?

Run `uvx actenon-kernel`. You can also paste the ready-made client config above.

Does Actenon Kernel run locally?

Yes - it's a stdio server: it runs on your machine (via uvx) with your user's permissions. Your data stays local unless the server itself calls external APIs.

07 · Alternatives to Actenon Kernel

Alternatives to Actenon Kernel

Maintained AI & ML servers if Actenon Kernel isn't the fit.

Pairs well with

Servers that cover what Actenon Kernel doesn't - only shown when the pairing reason fits the companion.

More AI & ML MCP servers · P2 Predict · Git Courer · Densely · Arbor · Datoon

More Python MCP servers · Adamamer20 Paper Search MCP OpenAI · Gigamail · FastMCP server for Apollo · Multi-account MCP for Gmail, Calendar, Drive, Docs, and Sheets - 61 tools, token · FastMCP server for surgical queries against a vault knowledge graph (NetworkX no · see all