Blog Docs Log inGet started

SkillPublic

mathematical-logic-expert

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

44

Quality

55%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

Securityby

Low

Low-risk findings worth noting

Fix and improve this skill with Tessl

tessl review fix ./bundled/skills/mathematical-logic-expert/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

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

Repository: foryourhealth111-pixel/Vibe-Skills
Path: bundled/skills/mathematical-logic-expert/SKILL.md
Revision: 5ce2258

Last updated: 27 days ago
First committed: 8 months ago

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.