claude

jig

Write Jig with the language reference, edit-time checks, commit gates and the jig MCP tools

0 on GitHubby hkd987v0.1.0-alphaMITupdated 16 days ago
/

Plugin jig from marketplace jig in hkd987/Jig. Commands read from the repo's manifest — 13 days ago.

This plugin runs code on your machine — its hooks fire automatically on events like tool use and it starts local MCP servers. The exact commands are listed below; read them before installing.

What it installs

Skills (2)

  • jig-proofs

    Make Jig contracts and runtime-safety obligations prove with `jig prove`. Use when a `prove` result shows FAILED or unknown obligations, when writing requires/ensures/invariant clauses, or when asked to remove runtime checks from Jig code.

  • jig

    Write, check and test code in the Jig language (.jig source files and .feature scenario files). Use whenever reading, writing or fixing Jig code, or when the user mentions Jig.

Slash commands (4)

  • /jig:contracts

    Draft signatures, contracts and step functions for approved scenarios, then stop for approval (spec-first step 2 of 3)

  • /jig:implement

    Implement approved contracts until scenarios, tests and proofs pass (spec-first step 3 of 3)

  • /jig:review

    Summarize a Jig package for human review - scenarios, contracts, proofs and coverage

  • /jig:spec

    Draft feature scenarios for a Jig change and stop for approval (spec-first step 1 of 3)

MCP servers (1)

  • jig

    runs: jig mcp

Hooks (2)

  • PostToolUse

    jig hook post-edit

  • PreToolUse

    jig hook pre-commit

View source on GitHub

Similar plugins

ruflo-iot-cognitum

claude

IoT device lifecycle, telemetry anomaly detection, fleet management, and witness chain verification for Cognitum Seed hardware

5 skills · 1 command · 4 agents

ruvnet/ruflo 81,589

Systems Programming

codex

Install the "Systems Programming" workflow plugin from Agentic Awesome Skills.

5 skills

sickn33/agentic-awesome-skills 49,620

data-agent-kit

claudecodex

This plugin provides a specialized suite of skills for data engineers and database practitioners working on Google Cloud. It acts as an expert assistant, allowing you to use natural language prompts in your preferred coding agent to architect complex data pipelines, transform data with dbt, write Spark and BigQuery SQL notebooks, and orchestrate end-to-end workflows across GCP's data ecosystem.

37 skills

anthropics/claude-plugins-official 47,076

python-development

claudecodex

Modern Python development with Python 3.12+, Django, FastAPI, async patterns, and production best practices

16 skills · 1 command · 3 agents

wshobson/agents 42,461

monday CRM

claude

Run your monday CRM in plain language. Build a pipeline from scratch, start the day with a ranked deal briefing, spin up a forecast dashboard, audit board health, clean up messy data in bulk, and turn meeting notes into deal updates. Every skill writes back into monday as a real update, doc, or dashboard. Built on the official monday MCP connector.

10 skills · 1 MCP server

anthropics/knowledge-work-plugins 35,601

agent-launcher-skills

claude

Build, launch, grade, and schedule Claude Managed Agents (CMA) in your own Anthropic account — a plugin re-implementation of Anthropic's launch-your-agent reference skill (Apache-2.0; independent, not a fork). Every session starts with a goal (./my-agent/goal.json, opt-in SessionStart hook, driven by /cs-goal); loop_compiler.py compiles it into a bounded grade->iterate loop (max_iterations 1..20), a recurring cron scheduled-deployment loop, or a single-pass interview->stage->launch workflow. 6 skills: orchestrator (context: fork goal router) + interview + stage-launch + grade-iterate + run-without-you + wrap-up. 18 stdlib-only deterministic scaffolders (no network/API calls; live launches emitted as BYOK curl that never prints the key), 4 agents, 8 commands, hooks, 5 references, 4 assets. Validators enforce CMA limits. Distinct from engineering/agent-harness (generic domain loop) and write-a-skill (authors Claude Code skills, not CMAs).

6 skills · 8 commands · 4 agents · hooks

alirezarezvani/claude-skills 29,725

Maintain jig?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted