kit

Plugin kit from marketplace kit-plugin in nlp-research-rosu/kit-plugin. Commands read from the repo's manifest — 19 days ago.

Skills (10)

• auditing-semantics

  Use when auditing a candidate K semantics before a Prover maintainer freezes it under a versioned bundled ID; this is outside the live Kit pipeline.

• auditing-spec

  Review K claims and summaries for adequacy against the original program contract.

• kit-help

  Explain KIT commands, settings, evidence files, attempt limits, and task timeouts.

• kit-onboarding

  Set up KIT when Prover Client is missing or not connected, or when the user requests installation, an update or reconnection. Covers CLI installation, browser approval and initial settings. Reuse completed setup on subsequent tasks.

• proving-spec

  Construct K proofs or diagnose stuck, failing, or resource-limited Prover claims.

• shared

  Not a skill: the reference library the other kit skills load via relative links. Never invoke directly.

• using-kit

  Use KIT to verify a program with K and Prover, or choose the relevant verification skill.

• validating-proof

  Review a K proof for soundness, scope, and evidence, or conduct a requested independent audit.

• writing-semantics

  Use when preparing a candidate K language definition for a future Prover release; live Kit uses only immutable bundled semantics IDs.

• writing-spec

  Draft or revise K reachability claims, summaries, and verification scope for a program.

Similar plugins