Interface: StepOutput

August 8, 2026 · View on GitHub

@plures/praxis


@plures/praxis / mcp / StepOutput

Interface: StepOutput

Defined in: src/mcp/types.ts:135

Output of the step MCP tool — facts and diagnostics after one engine step.

Properties

diagnostics

diagnostics: PraxisDiagnostics[]

Defined in: src/mcp/types.ts:137


factCount

factCount: number

Defined in: src/mcp/types.ts:138


facts

facts: PraxisFact[]

Defined in: src/mcp/types.ts:136

Contents

  1. 1Properties
  2. 1.1diagnostics
  3. 1.2factCount
  4. 1.3facts