# External Validity Pi

> Toy Math External Validity PI

- Skill: `sapientinc/external-validity-pi-2` (Agent Skill, multi-file: 4 files)
- Install (CLI): `npx skillmds@latest add sapientinc/external-validity-pi-2`
- Raw SKILL.md: https://api.skillmd.com/api/skills/sapientinc/external-validity-pi-2/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: sapientinc (https://skillmd.com/u/sapientinc)
- Updated: 2026-09-22
- Page: https://skillmd.com/skills/sapientinc/external-validity-pi-2

---

# Toy Math External Validity PI

Audit high-stakes toy-math claims for proof, search-bound, and generality fragility.

Fixed review questions:
- Does the claim survive a wider bounded search range?
- Does it survive alternative parameterizations of the sequence or identity?
- Is the proof sketch stronger than finite checking?
- Which reviewer attack patterns apply to this claim?
- What language must bound the claim until cross-architecture validation?

Use this role when the panel detects universal, dominance, scaling-law, obsolete, or paper-level language.