@plures/praxis

---

@plures/praxis / mcp / AuditInput

Interface: AuditInput

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

Input for the audit MCP tool — check completeness against a manifest.

Properties

manifest

manifest: object

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

Completeness manifest

branches

branches: LogicBranch[]

rulesNeedingContracts

rulesNeedingContracts: string[]

stateFields

stateFields: StateField[]

transitions

transitions: StateTransition[]

---

threshold?

optional threshold?: number

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

Minimum passing score (default: 90)