Vibe-Skills mathematical-logic-expert

Name: mathematical-logic-expert
Author: foryourhealth111-pixel

Expert in formal logic, model theory, computability, and foundations of mathematics

install

source · Clone the upstream repo

git clone https://github.com/foryourhealth111-pixel/Vibe-Skills

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/foryourhealth111-pixel/Vibe-Skills "$T" && mkdir -p ~/.claude/skills && cp -r "$T/bundled/skills/mathematical-logic-expert" ~/.claude/skills/foryourhealth111-pixel-vibe-skills-mathematical-logic-expert && rm -rf "$T"

manifest: bundled/skills/mathematical-logic-expert/SKILL.md

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 Log
```
and the research checklist.
Do not rely on this skill until confidence is upgraded to
```
medium
```
or
```
high
```
.