Skip to content

Axiom Guardian MCP Server

What it is

An MCP server that implements challenge-based request validation using Natural Language Inference (NLI) to enforce core principles. As of June 2026, Axiom Guardian v1.5 serves as a critical alignment layer for autonomous systems, integrating with the MCP 3.0 Task Protocol to provide verifiable, challenge-based justification logs for agent actions.

What problem it solves

It shifts the AI paradigm from passive compliance ("How can I help you?") to active validation ("Why are you doing this?"). It detects logical contradictions between proposed actions and configured axioms, forcing the user (or agent) to justify their actions. It addresses the "autonomous drift" problem where agents may take increasingly risky actions in pursuit of a high-level goal.

Where it fits in the stack

Tool / Guardrail. It provides an AI alignment and safety layer for agent actions, fitting between the AI model (like Claude 4.8 Opus or GPT-5.5) and the tools it attempts to execute. It is often deployed as a middleware layer in Agentic Workflows.

Typical use cases

  • AI Safety: Challenging potentially harmful or destructive requests before execution.
  • Organizational Governance: Enforcing company values and security policies in automated workflows.
  • Decision Audit Trail: Forcing articulation of reasoning for high-stakes actions (e.g., production deployments, financial transactions).
  • Educational Tool: Training users and agents to think through the ethical and operational consequences of their requests.

Strengths

  • NLI-based validation: Uses sophisticated models (like BART-MNLI) to detect logical contradictions without requiring rigid regex-based rules.
  • Iterative Dialogue: Challenges users to justify contradictory actions through a loop, preserving the justification in the session context.
  • MCP 3.0 Native: Full support for the Task Protocol, allowing challenges to be recorded as discrete, verifiable "Safety Interventions".
  • Dynamic Configuration: Axioms can be updated at runtime via the update_axioms tool.

Limitations

  • Latency: NLI mode adds inference latency to the decision loop.
  • English Focus: Optimal performance is currently achieved with English-language axioms and prompts.
  • Context Windows: Extremely large action descriptions may be truncated, potentially missing subtle contradictions.
  • Fail-Open Default: To ensure system availability, it defaults to allowing actions if the NLI API is unreachable.

When to use it

  • When you need to enforce a set of rules or ethical principles on AI agent behavior.
  • To create a record of human justification for critical operations.
  • When working with high-autonomy agents powered by claude-4-8-opus-20260528 or GPT-5.5 in production environments.
  • For compliance-heavy industries (Finance, Healthcare) requiring audit trails for AI actions.

When not to use it

  • For low-stakes environments where active challenging would be unnecessary friction.
  • When the action space is already strictly constrained by permission-based RBAC.
  • For sub-millisecond real-time control systems where NLI latency is prohibitive.

Getting started

Axiom Guardian MCP implements a challenge-justification loop to ensure agent actions align with core principles.

1. Installation

pip install axiom-guardian-mcp

2. Axiom Configuration (axioms.yaml)

Define the principles the agent must follow:

axioms:
  - "The agent must not delete production data without explicit triple-confirmation."
  - "The agent must prioritize system stability over performance optimizations."

3. Hello World Test

Run the server locally to verify installation:

python -m axiom_guardian_mcp --test "Delete the production database"
# Expected output: Challenge triggered based on axiom 1.

CLI examples

1. Running the server

Start the MCP server with a specific axioms file:

AXIOMS_PATH="./my_axioms.yaml" python -m axiom_guardian_mcp

2. Validating axioms

Check your axioms.yaml for syntax and logical consistency:

python -m axiom_guardian_mcp --validate-axioms ./axioms.yaml

3. Testing specific prompts

Manually test how the guardian responds to a specific action prompt:

python -m axiom_guardian_mcp --check "Deploying code to production"

API examples

1. Action Validation (check_action)

The primary tool used by agents to self-validate or by controllers to intercept actions.

{
  "tool": "check_action",
  "arguments": {
    "action": "I will drop the 'users' table to free up space.",
    "context": "Executing cleanup script on production-db-01"
  }
}

2. Dynamic Axiom Update (update_axioms)

Allows privileged users or agents to adjust the safety boundary.

{
  "tool": "update_axioms",
  "arguments": {
    "new_axioms": [
      "All financial transfers over $1000 require CFO approval."
    ]
  }
}

3. Justification Submission (submit_justification)

The tool used to provide the reasoning required to bypass a challenge.

{
  "tool": "submit_justification",
  "arguments": {
    "challenge_id": "CHAL-8821",
    "reasoning": "This is a planned migration as part of Ticket #402. Data is backed up in S3."
  }
}

Sources / References

Contribution Metadata

  • Last reviewed: 2026-07-21
  • Confidence: high