Skip to content
Automation
Skill

/mathematical-logic-expert

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

BOOST
@foryourhealth111-pixelforyourhealth111-pixel@foryourhealth111-pixel
From plugin
vibe-skills
3.8k200 skills7 agents3 commands

Claude Code

$ npx -y skills add foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert --agent claude-code

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`.
Read it on GitHub ↗
Stats
PythonJavaScriptNodeHTMLLinuxGitGitHubMarkdownLaTeXAnthropicOpenAIMCP
3,813
Stars
344
Forks
Active
Maintenance
Python
Language
Apache-2.0
License
Last commit
Created

Repo: foryourhealth111-pixel/Vibe-Skills

In this plugin
200 skills7 agents3 commands
See everything inside
@foryourhealth111-pixel
Ships withvibe-skills

Intelligent Skill routing and workflow orchestration for AI agents — +21.12 pp reward, −29.6% tokens on SkillsBench with DeepSeekV4Flash-VE.

3.8k200 skills7 agents
Get the whole plugin

Stars on GitHub

Momentum

stars in total
3.8k
Star history of foryourhealth111-pixel/Vibe-Skills on GitHub, a chart by star-history.com
See what's trending this week

Other skills on vibe-skills.

See all 200 skills in vibe-skills

More skills from other plugins.

agent-builder

agent-builder

Load immediately after an Agent intent, before the first agent_builder_* call. Governs how you create, configure, test, and…

n8n12d209k
@n8n-io@n8n-ioInstall Skill
browser-use

browser-use

Direct browser control via CDP for web interaction: automation, scraping, testing, screenshots, and site/app work. Also covers…

browser-use2d120k
@browser-use@browser-useInstall Skill
agent-browser

agent-browser

Browser automation CLI for AI agents. Use when the user needs to interact with websites, including navigating pages, filling…

agent-browser11d45k
@vercel-labs-2@vercel-labs-2Install Skill
add-anydoc

add-anydoc

Add local office-document-to-Markdown conversion to NanoClaw agent containers with the pinned Firecrawl AnyDoc CLI. Use when…

nanoclaw2d31k
@nanocoai@nanocoaiInstall Skill

Questions about mathematical-logic-expert.

Which coding agents can use mathematical-logic-expert?
mathematical-logic-expert installs in Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot, OpenCode and Windsurf with the skills CLI, using each agent's flag shown on this page. Flowy's auto-invocation, which fires a skill when your prompt matches, runs in Claude Code only.