foryourhealth111-pixel/propositional-logic
bundled/skills/propositional-logic/SKILL.md
Problem-solving strategies for propositional logic in mathematical logic
$ install --global
skillsauthnpx skillsauth add foryourhealth111-pixel/vco-skills-codex propositional-logicInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 14, 2026, 11:55 PM1.4s1 file scanned
SKILL.md
- name:
- propositional-logic
- description:
- Problem-solving strategies for propositional logic in mathematical logic
- allowed-tools:
- [Bash, Read]
Propositional Logic
When to Use
Use this skill when working on propositional-logic problems in mathematical logic.
Decision Tree
-
Identify Formula Structure
- Classify: tautology, contradiction, or contingent?
- Main connective: AND, OR, IMPLIES, NOT, IFF?
z3_solve.py sat "formula"to check satisfiability
-
Truth Table Method
- For small formulas (<=4 variables): enumerate all valuations
sympy_compute.py truthtable "p & (p -> q) -> q"- Tautology = all T, Contradiction = all F
-
Natural Deduction
- Apply inference rules: Modus Ponens, Modus Tollens
- Conditional proof: assume antecedent, derive consequent
z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"
-
Semantic Tableaux
- Build tree by decomposing formula
- Closed branches = contradictions
- All branches closed = valid argument
Tool Commands
Z3_Sat
uv run python -m runtime.harness scripts/z3_solve.py sat "And(p, Implies(p, q), Not(q))"
Z3_Tautology
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p, q)), q)"
Sympy_Truthtable
uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p >> q) >> q"
Z3_Modus_Ponens
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"
Cognitive Tools Reference
See .claude/skills/math-mode/SKILL.md for full tool documentation.
Related Skills
foryourhealth111-pixel/shap
development
VerifiedTrustedCommunity
Model interpretability and explainability using SHAP (SHapley Additive exPlanations). Use this skill when explaining machine learning model predictions, computing feature importance, generating SHAP plots (waterfall, beeswarm, bar, scatter, force, heatmap), debugging models, analyzing model bias or fairness, comparing models, or implementing explainable AI. Works with tree-based models (XGBoost, LightGBM, Random Forest), deep learning (TensorFlow, PyTorch), linear models, and any black-box model.
1,760SKILL.mdUpdated Apr 27, 2026
foryourhealth111-pixel/sentry
development
VerifiedTrustedCommunity
Use when the user asks to inspect Sentry issues or events, summarize recent production errors, or pull basic Sentry health data via the Sentry API; perform read-only queries with the bundled script and require `SENTRY_AUTH_TOKEN`.
1,760SKILL.mdUpdated Apr 27, 2026
foryourhealth111-pixel/senior-prompt-engineer
development
VerifiedTrustedCommunity
World-class prompt engineering skill for LLM optimization, prompt patterns, structured outputs, and AI product development. Expertise in Claude, GPT-4, prompt design patterns, few-shot learning, chain-of-thought, and AI evaluation. Includes RAG optimization, agent design, and LLM system architecture. Use when building AI products, optimizing LLM performance, designing agentic systems, or implementing advanced prompting techniques.
1,760SKILL.mdUpdated Apr 27, 2026
foryourhealth111-pixel/senior-ml-engineer
development
VerifiedTrustedCommunity
World-class ML engineering skill for productionizing ML models, MLOps, and building scalable ML systems. Expertise in PyTorch, TensorFlow, model deployment, feature stores, model monitoring, and ML infrastructure. Includes LLM integration, fine-tuning, RAG systems, and agentic AI. Use when deploying ML models, building ML platforms, implementing MLOps, or integrating LLMs into production systems.
1,760SKILL.mdUpdated Apr 27, 2026