aiproof-cli 0.1.0

CLI for aiproof, the static analyzer for AI prompts (ESLint for prompts).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

# AIP007 — missing-input-boundaries

**Category:** security  **Severity:** warning

## What

Flags single-brace Python-style interpolations (`{variable}`) in system prompts without XML delimiter wrapping.

## Why it matters

Single braces are ambiguous to models — they might be mistaken for template syntax or misunderstood as part of the instruction context. XML tags provide unambiguous boundaries.

## Example

```
Answer: {query}
```

Without tags, the model may not isolate the interpolated value from instructions.

## Fix

Wrap in `<user_input>…</user_input>`:

```
Answer: <user_input>{query}</user_input>
```

## Autofix

This rule includes a safe autofix that wraps the interpolation in `<user_input>` tags.