expect-type 1.x
Use expect-type ^1.0.0 for compile-time TypeScript assertions about values, types, functions, properties, and type transformations. It has no meaningful runtime assertion behavior; run TypeScript checking separately from any direct script execution.
- For
expect-type@1.4.0- Verified
- 2026-09-08, 7 examples executed
- Package
@modootoday/pmcp-expect-type@1.0.0
What it covers
- What this package is
- Exact equality versus assignability
- Primitive and structural assertions
- Function parameters, returns, overloads, and `this`
- Type transformations and modifiers
- Intersections and deep types
- Does not cover
One example from this skill
This is the skill's own text, not a summary of it. It runs: that is what verifying means here.
import {strict as assert} from 'node:assert'
import {expectTypeOf} from 'expect-type'
assert.equal(typeof expectTypeOf, 'function')
expectTypeOf({a: 1}).toEqualTypeOf<{a: number}>()
expectTypeOf({a: 1, b: 1}).toMatchTypeOf<{a: number}>()
// This is intentionally a compile-time failure when the directive is checked.
// @ts-expect-error extra properties are not allowed by exact equality
expectTypeOf({a: 1, b: 1}).toEqualTypeOf<{a: number}>()What it did in the sandbox
Verifying this skill meant installing the package and running code against it with no route out. Nothing was observed. The full ledger lists every package examined, including the ones that never became a skill.
Nothing observed is not a finding of safety. It means one run, under one policy, produced nothing to report.
Getting it
With a subscription:
npx -y @modootoday/pmcp login
npx -y @modootoday/pmcp install @modootoday/pmcp-expect-typeIt installs as a dev dependency of your project, and the MCP server finds it there like any other skill.