Is predicate-logic safe to install?

SaferSkills independently audited predicate-logic (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.

CategoryWeightCategory scoreContribution

Securityprompt, exec, net, exfil, eval

35%

100

35.0 pts

Supply chainhash, typosquat, maintainer, lockfile

20%

100

20.0 pts

Maintenancestaleness, pinning, CI

15%

100

15.0 pts

TransparencySKILL.md, perms, README

15%

100

15.0 pts

Communityinstalls, verify, response

15%

100

15.0 pts

Findings & checks · 0 flagged

Securityscore 100 · 0 findings

✓—All security checks passedNo findings in this category for the latest scan.pass

Supply chainscore 100 · 0 findings

✓—All supply chain checks passedNo findings in this category for the latest scan.pass

Maintenancescore 100 · 0 findings

✓—All maintenance checks passedNo findings in this category for the latest scan.pass

Transparencyscore 100 · 0 findings

✓—All transparency checks passedNo findings in this category for the latest scan.pass

Communityscore 100 · 0 findings

✓—All community checks passedNo findings in this category for the latest scan.pass

The primary manifest — the file an agent reads to learn what this artifact does.

skills/math/mathematical-logic/predicate-logic/SKILL.md · 1 file

skills/math/mathematical-logic/predicate-logic/SKILL.md1.8 KB · Markdown

name: predicate-logic

description: "Problem-solving strategies for predicate logic in mathematical logic"

allowed-tools: [Bash, Read]

Predicate Logic

When to Use

Use this skill when working on predicate-logic problems in mathematical logic.

Decision Tree

Quantifier Analysis

Identify: ForAll (universal), Exists (existential)
Scope of quantifiers and free/bound variables
z3_solve.py prove "ForAll([x], P(x)) implies P(a)"

Prenex Normal Form

Move all quantifiers to front
Standardize variables to avoid capture
sympy_compute.py simplify "prenex(formula)"

Skolemization (for Exists)

Replace existential quantifiers with Skolem functions
Exists x. P(x) -> P(c) or P(f(y)) depending on scope
Needed for resolution-based proofs

Resolution Proof

Convert to CNF, negate conclusion
Apply resolution rule until empty clause or saturation
z3_solve.py prove "resolution_valid"

Model Theory

Construct countermodel to refute invalid argument
Finite model for finite domain
z3_solve.py model "Exists([x], P(x) & Not(Q(x)))"

Tool Commands

Z3_Forall

uv run python -m runtime.harness scripts/z3_solve.py prove "ForAll([x], Implies(P(x), Q(x)))"

Z3_Exists

uv run python -m runtime.harness scripts/z3_solve.py sat "Exists([x], And(P(x), Not(Q(x))))"

Z3_Universal_Instantiation

uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(ForAll([x], P(x)), P(a))"

Z3_Model

uv run python -m runtime.harness scripts/z3_solve.py model "Exists([x], P(x))"

Cognitive Tools Reference

See .claude/skills/math-mode/SKILL.md for full tool documentation.

predicate-logic— agent skill

Is predicate-logic safe to install?

Predicate Logic

When to Use

Decision Tree

Tool Commands

Z3_Forall

Z3_Exists

Z3_Universal_Instantiation

Z3_Model

Cognitive Tools Reference

Audit the pieces. Scan the whole. Decide.