The open verifier for proof-bound consequential execution. Verifies cryptographic proof at the execution edge before any side effect — payments, deletes, deploys, access changes. 51 conformance vectors. Python/TS/Go/Rust SDKs. No valid proof, no execution.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add actenon-kernel -- uvx actenon-kernel~/.codex/config.toml
[mcp_servers.actenon-kernel]
command = "uvx"
args = ["actenon-kernel"]
# codex mcp add actenon-kernel -- uvx actenon-kernel~/.cursor/mcp.json
{
"mcpServers": {
"actenon-kernel": {
"command": "uvx",
"args": [
"actenon-kernel"
]
}
}
}.vscode/mcp.json
{
"servers": {
"actenon-kernel": {
"type": "stdio",
"command": "uvx",
"args": [
"actenon-kernel"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"actenon-kernel": {
"command": "uvx",
"args": [
"actenon-kernel"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"actenon-kernel": {
"command": "uvx",
"args": [
"actenon-kernel"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"actenon-kernel": {
"command": "uvx",
"args": [
"actenon-kernel"
]
}
}
}