Interface: InspectOutput
August 8, 2026 · View on GitHub
@plures/praxis / mcp / InspectOutput
Interface: InspectOutput
Defined in: src/mcp/types.ts:97
Output of the inspect MCP tool — full registry snapshot.
Properties
constraints
constraints:
ConstraintInfo[]
Defined in: src/mcp/types.ts:99
rules
rules:
RuleInfo[]
Defined in: src/mcp/types.ts:98
summary
summary:
object
Defined in: src/mcp/types.ts:100
constraintsWithContracts
constraintsWithContracts:
number
rulesWithContracts
rulesWithContracts:
number
totalConstraints
totalConstraints:
number
totalRules
totalRules:
number