Expert in formal logic, model theory, computability, and foundations of mathematics
Status: ⚠️ Legacy template awaiting research upgrade Last validated: 2025-11-08 Confidence: 🔴 Low — Legacy template awaiting research upgrade
the Source Log and the research checklist.medium or high.ddcaa2a
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.