tdd_property_check · Promethean OS MCP: Risk & Policy

WHAT IT DOES

What tdd_property_check does on Promethean OS MCP

AI agents invoke tdd_property_check to trigger actions in Promethean OS MCP. What it does depends on the arguments the agent supplies, and its effects often reach beyond the immediate call — builds kicked off, notifications sent, workflows started.

WHY IT NEEDS A POLICY

Why tdd_property_check needs a policy

This tool dynamically imports and executes arbitrary module code to run property-based tests. 'Dynamically import a module export' means it loads and executes code at runtime, which constitutes code execution. The blast radius is high because an AI agent could point it at malicious or destructive modules, causing arbitrary code execution on the host system.

From the tool's definition Dynamically import a module export that builds a fast-check property and assert it

Attacks that exploit this kind of access

Recommended rule Ready

Verdict

tdd_property_check Rate-limited

tdd_property_check stays usable, but rate-capped — a runaway agent can't fire it dozens of times a minute. Everything else on the server is denied unless you say otherwise.

View as policy code

policy.json

{
  "version": "1",
  "default": "deny",
  "tools": {
    "tdd_property_check": {
      "limits": [
        {
          "counter": "tdd_property_check_rate",
          "window": "minute",
          "max": 10,
          "scope": "grant"
        }
      ]
    }
  }
}

RATE-LIMIT THIS TOOL →

Instant setup, no code required.

PolicyLayer is an MCP gateway: every tool call is checked against your rule before it reaches Promethean OS MCP, so you can run agents against it safely.

FAQ

Questions about tdd_property_check

What does the tdd_property_check tool do? +

Dynamically import a module export that builds a fast-check property and assert it. It is categorised as a Execute tool in the Promethean OS MCP MCP Server, which means it can trigger actions or run processes. Use rate limits and argument validation.

How do I enforce a policy on tdd_property_check? +

Register the Promethean OS MCP server in PolicyLayer and add a rule for tdd_property_check: allow, deny, rate-limit, or require approval. Point your MCP client at the PolicyLayer proxy URL and the rule is enforced on every call, before it reaches Promethean OS MCP. Nothing to install.

What risk level is tdd_property_check? +

tdd_property_check is a Execute tool with high risk. Execute tools should be rate-limited and have argument validation enabled.

Can I rate-limit tdd_property_check? +

Yes. Add a rate_limit block to the tdd_property_check rule in your PolicyLayer policy. For example, setting max: 10 and window: 60 limits the tool to 10 calls per minute. Rate limits are tracked per agent session and reset automatically.

How do I block tdd_property_check completely? +

Set action: deny in the PolicyLayer policy for tdd_property_check. The AI agent will receive a policy violation error and cannot call the tool. You can also include a reason field to explain why the tool is blocked.

What MCP server provides tdd_property_check? +

tdd_property_check is provided by the Promethean OS MCP server (octave-commons/mcp). PolicyLayer sits as a proxy in front of this server to enforce policies before tool calls reach the server.