Wardn Hub
MCP ServersSkillsCategoriesAPI docsSubmit server
Submit server
Wardn HubTrusted MCP server directory.

Registry

  • MCP Servers
  • Skills
  • Categories

Resources

  • API docs
  • Score method

Contribute

  • Submit server
  • Advertise
© 2026 Wardn Hub
Wardn Hub
MCP ServersSkillsCategoriesAPI docsSubmit server
Submit server
skills/foryourhealth111-pixel/Vibe-Skills/bundled-skills-mathematical-logic-expert

mathematical-logic-expert

1
foryourhealth111-pixel/Vibe-Skills·Research·Audit passed·Snapshot d1ca9f728dc4
Installs
0

Summary

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

SKILL.md

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 and capture up-to-date sources.
  2. Review modules/known-gaps.md and resolve outstanding items.
  3. Load topic-specific modules from _toc.md only after verification.
  4. 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.

Related skills

MCP Integration
Error Resolver
G2 Legend Expert
LQF_Machine_Learning_Expert_Guide
Verification & Quality Assurance