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 connecting AI & ML tools to Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-07-26 · ★ 2 · #37 OF 95 MAINTAINED AI & ML · VERIFIED 2026-08-25

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

category
AI & ML - ranked #37 of 95 actively-maintained AI & ML servers as of 2026-08-25.
release cadence
1 release in the last 90 days (latest 2026-06-05)
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-08-25, its last commit was 2026-07-26 and it shipped 1 release in the last 90 days. 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