# Pandects

> 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.

## Facts
- Page: https://tashan.sh/capability/skill-wildcat-finance-pandects
- tashan id: skill:wildcat-finance/pandects
- Source: https://github.com/wildcat-finance/skills
- Type: skill
- Category: search
- tashan score: not scored (catalogued only — too little public evidence)
- Adoption: 9.0
- Upkeep: 100.0
- Freshness: 100.0
- Evidence coverage: 84% of the inputs this score can use
- Health: active
- Instruction depth: not yet graded
- License: Apache-2.0
- Official: no

## Install

```sh
cp -r pandects ~/.claude/skills/
```

## Security audit
Not scanned. We audit npm-published capabilities; this one has no npm package we can resolve, or has not reached the queue. This is not a clean bill of health.

---
Measured 2026-09-12 by tashan (https://tashan.sh) from public evidence. Scorer s5.