Actenon Kernel MCP server
io.github.Actenon/kernel·v1.2.2·2 starsVerify consequential AI actions before they execute.
2 stars
Reviews
Write oneNobody has reviewed Actenon Kernel yet.
If you have run it, two minutes of your experience saves the next person an afternoon.
Actenon Kernel tools (4)
write = sends, deletes, buys or postsRead from the package source without running it. The installed server may list more.
actenon_demo_grantactenon_gateactenon_receiptactenon_verify
Public scan report
scanner v0.1.9 · 2026-09-24 · same rubric, same numbers if you re-run it
- Code scan198 source files scanned25/25
- –Live reliabilityno gateway calls yet and no remote to proben/a
- –Tool poisoningtools not inspected (local package is not executed); not countedn/a
- Auth qualitylocal package, no credentials required12/15
- Maintenancelast push 60 days ago12/15
- Maintainer identityregistry namespace matches repository owner7/10
How Actenon Kernel compares
Against every graded MCP server, from our own scans and uptime checks. Updated after each scan run.
- Safety score
- 86/100
- higher than 72% of 48,255 servers
- Tools
- 4
- the typical server has 7
- Tools that change things
- 0%
- typical: 0%. Fewer write tools means less an agent can break
- GitHub stars
- 2
- more than 75% of 28,688 servers
What its tools let an agent do: 4 read
Install Actenon Kernel in Claude Code, Cursor or VS Code
claude mcp add kernel -- uvx actenon-kernel
What the publisher says
From the Actenon Kernel repository's README, as published. We do not edit it. Read it on GitHub
Actenon Kernel
<!-- mcp-name: io.github.Actenon/kernel -->
The open verifier for proof-bound consequential execution. Defines what a valid proof is. Verifies proofs at the execution edge; issues no grants; runs no policy decisions.
<!-- PYTHON-BADGE:START --> <!-- PYTHON-BADGE:END -->
Every claim above is machine-verified
The claims: machine-verified badge links to a CI gate (verify-claims.yml) that fails on every PR, push to main, and once a day if any factual claim this README makes about the kernel stops being true:
runs in the gate, not just behind a badge link.
- Zero network calls during verification — tests/test_neutrality.py
plus a source scan proving the kernel never imports Cloud or Permit, plus scripts/assertdepdirection.py (runtime deps are exactly actenon-protocol).
- Runs without Permit, Cloud, or Scan — tests/test_independence.py,
what actenon-kernel conformance run actually executes; the vector files themselves are hash-locked by scripts/verifyconformancemanifest.py.
- The conformance count — "51 conformance vectors" is compared against
against the live registry; the Python badge is generated, not hand-edited.
- Install commands — every pip install in this README is resolved
never hand-edited.
- The ecosystem table — rendered from the protocol's ecosystem.yaml,
The Invariants workflow additionally proves on every PR that a clean, no-extras install verifies the full conformance surface — 33/33 tests, zero skips — including Ed25519.
If a claim drifts, the badge goes red before a human notices.
The Actenon ecosystem
Shortened. The full README is on GitHub.
Nothing above is checked by us. What we check is on the safety report.
Actenon Kernel: common questions
- Is Actenon Kernel MCP server safe?
- Yes, by our scan: it is graded A (86/100). Read the Actenon Kernel safety report
- How do I install Actenon Kernel?
- It runs on your machine. Copy the Claude Code, Cursor, VS Code or Claude Desktop config from the install section.
- Does Actenon Kernel need an API key?
- Not as far as the registry entry and our scan can tell: no credentials are declared or required.
- Is Actenon Kernel maintained?
- The last commit was 100 days ago (2026-07-26). The latest release is v1.2.2.
- How does Actenon Kernel compare with other MCP servers?
- safety score 86/100 (higher than 72% of 48,255 servers); tools 4 (the typical server has 7); tools that change things 0% (typical: 0%. Fewer write tools means less an agent can break). Full comparison.