codex

Formal Methods

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

0 on GitHubby Alexander Morozovv1.2.2CC-BY-NC-SA-4.0updated 6 months agoDeveloper Tools

Plugin formal-methods in in8finity/codex-formal-plugin. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (2)

  • formal-debugger

    Structured bug investigation using formal models for hypothesis-driven debugging. Builds scoped Alloy models (normative rules, data constraints, causal chains, observability) to generate distinguishing experiments and narrow the causality cone around a symptom. Use whenever the user reports a bug, i

  • formal-modeling

    Write, run, and interpret Alloy 6 formal models for software systems, business processes, and skill/workflow design. Use this skill whenever the user asks to model, verify, or prove properties about state machines, lifecycle flows, data invariants, API contracts, integration boundaries, permission s

View source on GitHub

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

ruflo-plugin-creator

claude

Scaffold, validate, and publish new Claude Code plugins with proper structure

3 skills · 1 command · 1 agent

ruvnet/ruflo 81,589

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

Open Code Review

codex

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

slidev

claude

Claude Code skill for creating and presenting Slidev slidedecks

1 skill

slidevjs/slidev 49,452

gitnexus

claudecodex

Code intelligence powered by a knowledge graph. Provides execution flow tracing, blast radius analysis, and augmented search across your codebase.

12 skills · 1 MCP server · hooks

abhigyanpatwari/GitNexus 48,482

Maintain Formal Methods?

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