Skip to content
Automation
Skill

/mathematical-logic-expert

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

From plugin
vibe-skills
2.7k200 skills8 agents3 commands
Install
$ npx -y skills add foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert --agent claude-code

How it fires

How this skill gets triggered: by you, by Claude, or both.

  • Fires itselfAuto-invocation. Claude auto-loads it when your prompt matches the work.Auto-invocation is when the right skill fires by itself at the right moment, driven by a FLOW.md router and a hook, instead of you invoking it by name. It is the difference between a skill being installed and a skill actually getting used.Read the full definition →
  • You can call itInvoke it directly when you want it.
  • Slash command/mathematical-logic-expert

Context preview

The summary Claude sees to decide when to auto-load this skill.

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

SKILL.md

mathematical-logic-expert.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

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 outstanding items. 3. Load topic-specific modules from [_toc.md](_toc.md) only after verification. 4. Update metadata when confidence improves.

Module overview

  • [Core guidance](modules/core-guidance.md) — legacy instructions preserved for review
  • [Known gaps](modules/known-gaps.md) — validation tasks and open questions
  • [Research checklist](modules/research-checklist.md) — 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`.
Ships withvibe-skills

VibeSkills is a general-purpose Skill that automatically routes local Skills and intelligently orchestrates harness workflows.

Get the whole plugin

Other skills on vibe-skills.