@plures/praxis

---

@plures/praxis / mcp / ContractInfo

Interface: ContractInfo

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

Contract coverage information for a single rule or constraint.

Properties

contract?

optional contract?: Contract

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

---

hasContract

hasContract: boolean

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

---

ruleId

ruleId: string

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

---

type

type: "rule" | "constraint"

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