Skip to main content
Glama

make_rules

Turn a plain-English policy into a jailbreak-proof guardrail. Write rules the way you would explain them to a colleague — ICME compiles them into formal logic (SMT-LIB) that a mathematical solver enforces. No prompt engineering. No LLM judges. The solver either proves an action complies or it doesn't. Returns a policy_id and test scenarios for review. Costs 300 credits. Requires api_key.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
policyYesYour policy in plain English, e.g. 'No action may access user data without explicit consent. External API calls require approval above $100.' Up to 50 rules.
api_keyYesYour ICME API key (from create_account or create_account_card)

Schema Changelog

Changes observed during successful MCP inspections. Dates show when Glama detected each change.

  1. First observed

TDQS

A4.2/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations, the description carries the full burden and does a good job: it discloses the costs (300 credits), required authentication (api_key), and return values (policy_id and test scenarios). It also explains the formal solver mechanism. It stops short of describing failure modes or side effects like whether an existing policy is overwritten, but the provided details are substantive and non-obvious.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness5/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The description is three sentences, each carrying meaningful information: what it does, why it's different, and what you get/cost. It is front-loaded with the core purpose and avoids filler. No word is wasted.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness4/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

For a creation tool with two params and no output schema, the description covers input, process, output, cost, and auth. It lacks guidance on how to use the returned policy_id with sibling tools like check_action, but this is not strictly required. The description is complete enough for an agent to invoke correctly.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is 100% — both 'policy' and 'api_key' have descriptions that clearly explain their meaning and format. The tool description adds only a few redundant details (e.g., that api_key is required), so it does not significantly enhance what the schema already provides. Baseline 3 is appropriate.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description clearly states the tool's function: converting plain-English policy text into a formal, solver-enforced guardrail. The verb 'Turn' plus the resource ('plain-English policy into... guardrail') is specific and distinguishes it from sibling tools like check_action or run_tests, which evaluate instead of create.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

The description implies the primary use case (creating rules) and contrasts itself with LLM-judge-based approaches, providing clear context. However, it does not explicitly say 'use this instead of X' or mention any exclusions, such as when to use check_action instead.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.

TDQS

A4/5.0
Disambiguation3/5

Tools like check_action and check_action_paid are functionally identical apart from payment method, and quick_check overlaps with check_action in purpose, creating potential misselection. Descriptions are detailed enough to clarify, but the boundary between some check and payment variants is not crisp.

Naming Consistency4/5

Most tools use a clear verb_noun pattern (make_rules, run_tests, verify_proof). Deviations like check_action_paid (adds adjective) and quick_check (adjective first) are minor and do not confuse the overall naming scheme.

Tool Count4/5

Fourteen tools is reasonable for a service covering account creation, policy compilation, verification, testing, and billing. The redundancy from supporting two payment methods slightly inflates the count but each variant serves a distinct payment context.

Completeness4/5

The core workflow is well-covered: create account, compile policy, test scenarios, run guardrail checks, and verify proofs. Minor gaps include lack of policy update/deletion or policy listing, but these are not essential to the main purpose.

Resources