aiproof-cli 0.1.2

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
32

# AIP018: temperature-determinism-mismatch

## Description

Detects prompts that request deterministic or reproducible output while using a high temperature setting. High temperature introduces randomness, contradicting determinism requirements. This rule applies only to SDK-extracted calls with temperature metadata.

## Severity

Warning

## Applies When

This rule only fires for Python and TypeScript SDK calls extracted with a `temperature` parameter. If temperature is `0.3` or below, randomness is minimal and the rule does not fire.

## Example

```python
client.messages.create(
    model="claude-opus-4",
    system="Always return exactly this JSON schema.",
    messages=[{"role": "user", "content": "..."}],
    temperature=0.7,
)
```

Violation: The prompt asks for deterministic output ("Always return exactly...") but `temperature=0.7` allows randomness.

## Remediation

- Lower temperature to `0.0` for deterministic responses.
- Remove determinism requirements if creative variation is desired.
- Document the trade-off between determinism and diversity in your output.