# Microgram: stem-stem-math-proof

`station__algovigilance__microgram-stem-stem-math-proof` · native (always callable) · domain `algovigilance` · pv-relevance `pv-core`

Construct a Proof from premises and conclusion.

## Agent metadata

- `idempotent`: true
- `read_only`: true
- `expected_latency_ms`: unknown (not yet contract-tested)
- `cost_tokens_estimate`: unknown

## Input schema

- `conclusion` *string* (required) — Conclusion statement
- `premises` *object* (required) — List of premise statements
- `valid` *boolean* (required) — Input parameter valid.

## Example call

```json
POST /api/mcp
Content-Type: application/json

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "station__algovigilance__microgram-stem-stem-math-proof",
    "arguments": {
      "conclusion": "",
      "premises": {},
      "valid": false
    }
  }
}
```

## Related

- [/tools](/tools) — all 7718 tools
- [/tools/algovigilance__microgram-stem-stem-math-proof](/tools/algovigilance__microgram-stem-stem-math-proof) — HTML page
- [/tools/algovigilance__microgram-stem-stem-math-proof/json](/tools/algovigilance__microgram-stem-stem-math-proof/json) — JSON form (agent-friendly)
- [/api/mcp](/api/mcp) — endpoint
- [/AGENTS.md](/AGENTS.md) — agent guide