Interface: GatesInput

August 8, 2026 · View on GitHub

@plures/praxis


@plures/praxis / mcp / GatesInput

Interface: GatesInput

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

Input for the gates MCP tool — query project gate states.

Properties

filter?

optional filter?: string

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

Filter by gate name

Contents

  1. 1Properties
  2. 1.1filter?