/mathematical-logic-expert
Expert in formal logic, model theory, computability, and foundations of mathematics
$ npx -y skills add foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert --agent claude-codeHow 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.mdname: 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`.
VibeSkills is a general-purpose Skill that automatically routes local Skills and intelligently orchestrates harness workflows.
Repo: foryourhealth111-pixel/Vibe-Skills
Other skills on vibe-skills.
- /LQF_Machine_Learning_Expert_Guide
LQF Machine Learning Expert Guide - Routed skill for ML/Statistical Modeling with Critical Discussion Mode. Triggers on: machine learning, modeling, prediction, training, classification, regression, clustering, deep learning, neural network, model evaluation, feature
Open skill - /adaptyv
Cloud laboratory platform for automated protein testing and validation. Use when designing proteins and needing experimental validation including binding assays, expression testing, thermostability measurements, enzyme activity assays, or protein sequence optimization. Also use
Open skill - /aeon
This skill should be used for time series machine learning tasks including classification, regression, clustering, forecasting, anomaly detection, segmentation, and similarity search. Use when working with temporal data, sequential patterns, or time-indexed observations
Open skill - /algorithmic-art
Creating algorithmic art using p5.js with seeded randomness and interactive parameter exploration. Use this when users request creating art using code, generative art, algorithmic art, flow fields, or particle systems. Create original algorithmic art rather than copying existing
Open skill - /alpha-vantage
Access real-time and historical stock market data, forex rates, cryptocurrency prices, commodities, economic indicators, and 50+ technical indicators via the Alpha Vantage API. Use when fetching stock prices (OHLCV), company fundamentals (income statement, balance sheet, cash
Open skill - /architecture-patterns
Implement proven backend architecture patterns including Clean Architecture, Hexagonal Architecture, and Domain-Driven Design. Use when architecting complex backend systems or refactoring existing applications for better maintainability.
Open skill
