Mathematical Logic Expert

foryourhealth111-pixel/mathematical-logic-expert

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

1k tokens

context cost

the whole folder, loaded on every use

files

instructions only

copies elsewhere

how many repositories repackaged it

2583

stars on the repo

on the repository, not the skill itself

Install

one command, takes just this skill from the repository

npx skills add https://github.com/foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert

What comes with it

4 683 bytes besides the instruction

README.md

_toc.md

modules/core-guidance.md

modules/known-gaps.md

modules/research-checklist.md

The instruction itself

4 sections, as written by the author

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.

How to use it

Copy the folder

Take foryourhealth111-pixel/mathematical-logic-expert from the repository into ~/.claude/skills for personal use, or into .claude/skills inside a project.

Check the name does not clash

The agent identifies a skill by the name field in its header. Two skills with the same name cannot sit side by side — one of them will be ignored.