Interface: ContractsOutput
August 8, 2026 · View on GitHub
@plures/praxis / mcp / ContractsOutput
Interface: ContractsOutput
Defined in: src/mcp/types.ts:150
Output of the contracts MCP tool — contract coverage across the registry.
Properties
contracts
contracts:
ContractInfo[]
Defined in: src/mcp/types.ts:151
coverage
coverage:
object
Defined in: src/mcp/types.ts:152
percentage
percentage:
number
total
total:
number
withContracts
withContracts:
number