Plugin marketplace

in-the-loop

Claude Code plugins from the Java formal verification repository.

2 · pilifs/in-the-loop1 pluginApache-2.0updated 6 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

jvmcontract

claude

/verify-bytecode: formally verify the compiled bytecode of a Java pull request with jvmcontract and JBMC. /add-tla-model: add a TLA+ model to a Java project and check custom invariants with TLC.

2 skills

2

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted