mathematical-logic-expert
Expert in formal logic, model theory, computability, and foundations of mathematics
npx skills add foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# 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 1. Start with [modules/research-checklist.md](modules/research-checklist.md) and capture up-to-date sources. 2. Review [modules/known-gaps.md](modules/known-gaps.md) and resolve outstand
What does the mathematical-logic-expert skill do?
Expert in formal logic, model theory, computability, and foundations of mathematics
How do I install it?
Run `npx skills add foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From foryourhealth111-pixel/Vibe-Skills, a repository with 2,593 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.