Plugin marketplace

morozov-codex-plugin

Plugins published from in8finity/codex-formal-plugin.

0 · in8finity/codex-formal-plugin1 pluginupdated 6 months ago

Add this marketplace

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

Formal Methods

codex

Formal modeling and hypothesis-driven debugging using Alloy 6 and Dafny.

2 skills

0

README badge

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

claude & codex pluginslisted