Agent Plugins Marketplace
All plugins

no-invalid-states

Refactor invariants out of runtime checks and into the type system: parse at boundaries, then make invalid internal states impossible to construct.

Codex

By Vivswan ShahLicense: SEE LICENSE IN LICENSE.md1 GitHub starsUpdated 3 hours ago

Directory evidence

Runtimes
Codex
Parsed components
0 skill or MCP entries
Source updated
Sep 3, 2026
Manifest status
Canonical path parsed

The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology

Install no-invalid-states for Codex

Installs for the current user
codex plugin marketplace add IchenDEV/agent-plugin-mkt
codex plugin marketplace upgrade agent-plugin-marketplace
codex plugin add no-invalid-states@agent-plugin-marketplace

Paste and run these commands in a terminal with Codex. They add and refresh the PluginsMP catalog, then install this plugin.

The installer fetches third-party code from the source repository shown on this page. This directory validates manifest structure and source location, but does not perform a security audit; review the manifest, components, and source before installing.

Get the source manually
git clone https://github.com/Vivswan/skills

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is skills/no-invalid-states/.

Plugin files

skills/no-invalid-states/
└── .codex-plugin/plugin.json

Plugin manifests1

skills/no-invalid-states/.codex-plugin/plugin.json
{
  "name": "no-invalid-states",
  "description": "Refactor invariants out of runtime checks and into the type system: parse at boundaries, then make invalid internal states impossible to construct.",
  "author": {
    "name": "Vivswan Shah",
    "email": "[email protected]",
    "url": "https://vivswan.github.io/"
  },
  "homepage": "https://github.com/Vivswan/skills/tree/main/skills/no-invalid-states",
  "repository": "https://github.com/Vivswan/skills",
  "license": "SEE LICENSE IN LICENSE.md",
  "keywords": [
    "agent-skills",
    "type-safety",
    "refactoring",
    "parse-dont-validate",
    "typestate",
    "plugin-ready"
  ],
  "skills": "./",
  "interface": {
    "displayName": "No Invalid States",
    "shortDescription": "Encode invariants in types instead of runtime checks.",
    "longDescription": "Finds invariants hiding behind lifecycle flags, co-dependent optionals, and repeated validation, then refactors them into sum types, newtypes, typestate, and smart constructors while keeping genuinely dynamic checks at the boundaries.",
    "developerName": "Vivswan",
    "category": "Developer Tools",
    "capabilities": [
      "Read",
      "Edit",
      "Refactor"
    ],
    "websiteURL": "https://github.com/Vivswan/skills/tree/main/skills/no-invalid-states",
    "defaultPrompt": [
      "Make invalid states unrepresentable in this module.",
      "Refactor these lifecycle flags into proper state types.",
      "Apply parse, don't validate to this codebase."
    ],
    "brandColor": "#7C3AED"
  }
}

If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.

[no-invalid-states on Agent Plugins Marketplace](https://pluginsmp.com/plugins/no-invalid-states)