CtrlK
BlogDocsLog inGet started
Tessl Logo

mathematical-logic-expert

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

SKILL.md
Quality
Evals
Security

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

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
Last updated
First committed

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.