Interface: ContractsInput

August 8, 2026 · View on GitHub

@plures/praxis


@plures/praxis / mcp / ContractsInput

Interface: ContractsInput

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

Input for the contracts MCP tool — list contract coverage details.

Properties

filter?

optional filter?: string

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

Filter by rule ID pattern

Contents

  1. 1Properties
  2. 1.1filter?