Constructs formal mathematical domain models through a six-phase validation workflow.
npx skills add https://github.com/nrdxp/predicate --skill form-nrdxp
Please help me install this Agent Skill. Skill: form Source: https://github.com/nrdxp/predicate/tree/main/skills/form Command: npx skills add https://github.com/nrdxp/predicate --skill form-nrdxp
High-intent search queries and answers about installing and using this skill.
Run the six-phase workflow: identify the domain's structural characteristics, select a formalism using the decision matrix, construct the model, validate consistency and adequacy, then record it from the MODEL.md template into docs/models/. Human approval is required after formalism selection.
It supports ologs, coalgebras, session types, linear relations, and hyperdoctrines drawn from the SDMA toolkit, plus external formalisms when the domain requires them. Selection follows the principle of minimal representation — the simplest formalism that faithfully captures the domain.
Yes, Apply mode scrutinizes an existing protocol spec, whitepaper, or design doc to extract implicit structure and identify vagueness or inconsistency. Output is either a companion model document in docs/models/ or annotations integrated into the target document.
Avoid it for strategic planning, open-ended exploration, or implementation work — those belong to the ambient planning invariants, the sketch principle, and the core workflow respectively. FORM is structural analysis only; writing code means you have left its scope.
The halt after SELECT exists because a wrong formalism choice cascades into wasted construction and validation work. The human must approve the selected formalism and its documented rationale before the model is built.
ZpankzDesign data schemas and knowledge models for relational, document, and graph domains.
adrien-barretValidate completed work against acceptance criteria and architecture constraints.
ActiveMemoryRecord architectural decisions in DECISIONS.md with context, alternatives, rationale, and consequences.
withakayExecute small coding tasks and minor code modifications quickly.
