Nobulex MCP Server
Proof-of-behavior enforcement for AI agents via MCP.
npm: @nobulex/mcp-server
GitHub: https://github.com/arian-gogani/nobulex/tree/main/packages/mcp-server
License: MIT
Transport: stdio
What it does
Nobulex is a proof-of-behavior protocol that lets AI agents declare behavioral rules (permit/forbid/require), enforces them at runtime before execution, and creates SHA-256 hash-chained tamper-evident audit logs that anyone can independently verify.
MCP Tools
set_rules — Define behavioral constraints using a Cedar-inspired DSL
-
check_action — Evaluate an action against the rules before execution
-
-
get_audit_log — Retrieve the hash-chained action log
-
-
-
verify_log — Independently verify log integrity
Example
covenant SafeTrader {
permit read;
permit transfer (amount <= 500);
forbid transfer (amount > 500);
forbid delete;
}
Stats
- 4,244 tests passing
-
- 31 packages in the monorepo
-
-
-
-
-
-
- Published Proof-of-Behavior Spec v0.1.0 (CC-BY-4.0)
Nobulex MCP Server
Proof-of-behavior enforcement for AI agents via MCP.
npm:
@nobulex/mcp-serverGitHub: https://github.com/arian-gogani/nobulex/tree/main/packages/mcp-server
License: MIT
Transport: stdio
What it does
Nobulex is a proof-of-behavior protocol that lets AI agents declare behavioral rules (permit/forbid/require), enforces them at runtime before execution, and creates SHA-256 hash-chained tamper-evident audit logs that anyone can independently verify.
MCP Tools
set_rules— Define behavioral constraints using a Cedar-inspired DSLcheck_action— Evaluate an action against the rules before executionget_audit_log— Retrieve the hash-chained action logverify_log— Independently verify log integrityExample
Stats