Actenon Kernel MCP
The Actenon Kernel is an open-source verifier for proof-bound consequential execution. It defines valid proofs and verifies them at the execution edge before any side effect occurs, such as payments, deletes, deploys, or access changes. It ensures no execution happens without a valid cryptographic proof, supporting Python, TypeScript, Go, and Rust SDKs.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Verify cryptographic proofs before executing side effects
- Prevent unauthorized payments, deletes, or deploys
- Enforce AI agent security at the execution edge
- Run conformance checks for AI governance
Source and maintenance
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
actenon-kernel 1.2.1
{
"version": "1.2.1",
"transport": "stdio",
"identifier": "actenon-kernel",
"runtimeHint": "uvx",
"registryType": "pypi",
"packageArguments": [
{
"type": "positional",
"value": "--demo",
"description": "Run offline with an ephemeral key and in-memory state. Omit for a production server, which requires --key-file and fails closed without it."
}
],
"runtimeArguments": [
{
"name": "--from",
"type": "named",
"value": "actenon-kernel[mcp]",
"isRequired": true,
"description": "The MCP server entry point ships in the [mcp] extra."
},
{
"type": "positional",
"value": "actenon-mcp",
"isRequired": true,
"description": "Console script that starts the stdio MCP server."
}
]
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Connect from your client
Each snippet configures the same source-provided package; replace placeholders before use.
Cursor
{
"mcpServers": {
"actenon-kernel-mcp": {
"command": "uvx",
"args": [
"actenon-kernel==1.2.1",
"--demo"
]
}
}
}Cline
{
"mcpServers": {
"actenon-kernel-mcp": {
"command": "uvx",
"args": [
"actenon-kernel==1.2.1",
"--demo"
]
}
}
}VS Code
{
"servers": {
"actenon-kernel-mcp": {
"type": "stdio",
"command": "uvx",
"args": [
"actenon-kernel==1.2.1",
"--demo"
]
}
}
}Claude Desktop
{
"mcpServers": {
"actenon-kernel-mcp": {
"command": "uvx",
"args": [
"actenon-kernel==1.2.1",
"--demo"
]
}
}
}Let your agent find its tools
Find servers like Actenon Kernel MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.