foryourhealth111-pixel/mathematical-logic-expert
bundled/skills/mathematical-logic-expert/SKILL.md
Expert in formal logic, model theory, computability, and foundations of mathematics
$ install --global
skillsauthnpx skillsauth add foryourhealth111-pixel/vco-skills-codex mathematical-logic-expertInstall 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 13, 2026, 4:58 AM40.4s6 files scanned
SKILL.md
- name:
- mathematical-logic-expert
- description:
- Expert in formal logic, model theory, computability, and foundations of mathematics
- license:
- Proprietary
Mathematical Logic Expert
Status: ⚠️ Legacy template awaiting research upgrade Last validated: 2025-11-08 Confidence: 🔴 Low — Legacy template awaiting research upgrade
How to use this skill
- Start with modules/research-checklist.md and capture up-to-date sources.
- Review modules/known-gaps.md and resolve outstanding items.
- Load topic-specific modules from _toc.md only after verification.
- Update metadata when confidence improves.
Module overview
- Core guidance — legacy instructions preserved for review
- Known gaps — validation tasks and open questions
- Research checklist — mandatory workflow for freshness
Research status
- Fresh web research pending (conversion captured on 2025-11-08).
- Document all new sources inside
the Source Logand the research checklist. - Do not rely on this skill until confidence is upgraded to
mediumorhigh.
Related Skills
foryourhealth111-pixel/zarr-python
development
VerifiedTrustedCommunity
Chunked N-D arrays for cloud storage. Compressed arrays, parallel I/O, S3/GCS integration, NumPy/Dask/Xarray compatible, for large-scale scientific computing pipelines.
2,438SKILL.mdUpdated Jul 23, 2026
foryourhealth111-pixel/yeet
tools
VerifiedTrustedCommunity
Use only when the user explicitly asks to stage, commit, push, and open a GitHub pull request in one flow using the GitHub CLI (`gh`).
2,438SKILL.mdUpdated Jul 23, 2026
foryourhealth111-pixel/xlsx
tools
VerifiedTrustedCommunity
Spreadsheet toolkit (.xlsx/.csv). Create/edit with formulas/formatting, analyze data, visualization, recalculate formulas, for spreadsheet processing and analysis.
2,438SKILL.mdUpdated Jul 23, 2026
foryourhealth111-pixel/xan
tools
VerifiedTrustedCommunity
High-performance CSV processing with xan CLI for large tabular datasets, streaming transformations, and low-memory pipelines.
2,438SKILL.mdUpdated Jul 23, 2026