Agent Plugins Marketplace
← All plugins

pandects

v0.1.1

Executable credit laws with broken specimens and reduced counterexamples.

CodexClaude Code1 Skill

By Wildcat LabsLicense: Apache-2.07 GitHub starsUpdated 15 hours ago

Directory evidence

Runtimes
Codex and Claude Code
Parsed components
1 skill or MCP entry
Source updated
Aug 26, 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 plugin

Installs for the current user
codex plugin marketplace add IchenDEV/agent-plugin-mkt
codex plugin marketplace upgrade agent-plugin-marketplace
codex plugin add pandects@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/wildcat-finance/skills

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is plugins/pandects/.

Plugin files

plugins/pandects/
├── .codex-plugin/plugin.json
├── .claude-plugin/plugin.json
└── skills/pandects/SKILL.md

Included Skills1

pandectsskills/pandects/SKILL.md

Check a credit protocol against executable laws: conservation, accrual and withdrawal claims, each one a Solidity component with a broken specimen it is proven to catch. Use when someone asks which invariants a lending or credit system should hold, wants properties for a fuzzing campaign, or hands over a protocol and asks what could be checked mechanically. Do not use it to generate a harness for one repository; that is fizz. Never report a campaign under an engine that did not run.

Plugin manifests2

plugins/pandects/.codex-plugin/plugin.json
{
  "name": "pandects",
  "version": "0.1.1",
  "description": "Executable credit laws with broken specimens and reduced counterexamples.",
  "author": {
    "name": "Wildcat Labs",
    "url": "https://wildcat.finance"
  },
  "homepage": "https://github.com/wildcat-finance/skills/tree/main/plugins/pandects",
  "repository": "https://github.com/wildcat-finance/skills",
  "keywords": [
    "solidity",
    "invariants",
    "property-testing",
    "fuzzing",
    "credit",
    "foundry",
    "echidna",
    "wildcat"
  ],
  "skills": "./skills/",
  "interface": {
    "displayName": "Pandects",
    "shortDescription": "Executable credit laws with broken specimens and reduced counterexamples.",
    "longDescription": "A fuzzer searches a state space; it cannot decide which economic facts must survive that search. Generic token properties cover balances, approvals and round trips, while credit adds time, accrual, queues, changing terms, delinquency and claims that are neither liquid nor reducible to a token balance. Pandects is the reviewed corpus of those facts, in which a law is not a sentence: it is a Solidity component that executes, a deliberately broken contract it is proven to catch, a minimal counterexample replayable without a fuzzer, and an applicability contract saying which accounting model it means anything for. Laws read economic roles through an observables interface, so no law names an implementation. A law returns rather than reverts, because under fail_on_revert a revert carries no verdict. Nothing here is a fuzzer, a harness generator or a generic assertion library.",
    "developerName": "Wildcat Labs",
    "category": "Developer Tools",
    "capabilities": [],
    "defaultPrompt": "Use $pandects to check this credit protocol against the executable laws in the corpus."
  },
  "license": "Apache-2.0"
}
plugins/pandects/.claude-plugin/plugin.json
{
  "name": "pandects",
  "displayName": "Pandects",
  "version": "0.1.1",
  "description": "Executable credit laws with broken specimens and reduced counterexamples.",
  "author": {
    "name": "Wildcat Labs",
    "url": "https://wildcat.finance"
  },
  "homepage": "https://github.com/wildcat-finance/skills/tree/main/plugins/pandects",
  "repository": "https://github.com/wildcat-finance/skills",
  "license": "Apache-2.0",
  "keywords": [
    "solidity",
    "invariants",
    "property-testing",
    "fuzzing",
    "credit",
    "foundry",
    "echidna",
    "wildcat"
  ],
  "skills": "./skills/"
}

For maintainers

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

[pandects on Agent Plugins Marketplace](https://pluginsmp.com/plugins/pandects)