agent-invariants
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {
"listChanged": true
} |
| prompts | {
"listChanged": true
} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| agent_invariants_validate_contractA | Validate a version 1 Agent Invariants contract, including unique rule IDs and bounded matchers. |
| agent_invariants_check_traceB | Evaluate a normalized agent event trace against deterministic permission, stop, completion, retry, scope, and ordering rules. |
| agent_invariants_compare_tracesB | Compare baseline and candidate traces and report newly broken rules, new tools, call inflation, or outcome regression. |
| agent_invariants_summarize_traceC | Return deterministic counts for tools, approvals, failures, completion claims, and observed outcomes. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
| protect-behavior-change | Plan a model, prompt, memory, or tool change without silently changing agent behavior |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 4 tools
Each tool has a distinct purpose: contract validation, trace checking, comparison, and summarization. There is no overlap or ambiguity between them.
All tool names follow the consistent verb_noun pattern (agent_invariants_<action>_<target>), making them predictable and easy to understand.
With 4 tools, the server is well-scoped for the domain of agent invariants. Each tool addresses a core operation without redundancy or excess.
The tool set covers the essential workflow: validate contracts, check traces, compare traces, and summarize results. No obvious gaps are present for the stated purpose.