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_axiomstool.
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-20260528or 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."
}
}
Related tools / concepts¶
- LLM Trust Boundaries — Architectural patterns for safe AI integration.
- Model Context Protocol — The underlying protocol for tool communication.
- Agentic Workflows — How Axiom Guardian fits into broader agent loops.
- Claude Code — Often uses Axiom Guardian for high-stakes terminal commands.
- OpenHands — Integrates Axiom Guardian for autonomous engineering safety.
- Hugging Face — Hosting provider for the NLI models used by the guardian.
- Symbolic MCP — Provides complementary formal verification.
Sources / References¶
- Axiom Guardian GitHub
- Zero-Shot Classification (Hugging Face)
- NLI-based Alignment for Autonomous Agents (June 2026)
Contribution Metadata¶
- Last reviewed: 2026-07-21
- Confidence: high