Mathematical Logic Expert
Expert in formal logic, model theory, computability, and foundations of mathematics
MCP get_skill({ skillId: "mathematical-logic-expert-752d122d" })Use this skill with your agent
Create a free account and connect via MCP
# 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`.
Related Skills
More skills in Data, AI & Research
Ablation Planner
Use when main results pass result-to-claim (`claim_supported = yes` or `partial`) and ablation studies are needed for paper submission. A secondary Codex agent designs ablations from a reviewer's perspective; the local executor reviews feasibility and implements.
Ablation Planner
Use when main results pass result-to-claim (claim_supported=yes or partial) and ablation studies are needed for paper submission.
About
Provides information about the bitwize-music plugin, its version, and its creator. Use when the user asks about the plugin, its purpose, version, or capabilities.
Ab Test Analysis
Analyze A/B test results with statistical significance, sample size validation, confidence intervals, and ship/extend/stop recommendations. Use when evaluating experiment results, checking if a test reached significance, interpreting split test data, or deciding whether to ship a variant.
Academic Search
Search and analyze academic literature. Find papers, understand research methodologies, and synthesize academic findings for research projects.
Adaptyv
How to use the Adaptyv Bio Foundry API and Python SDK for protein experiment design, submission, and results retrieval. Use this skill whenever the user mentions Adaptyv, Foundry API, protein binding assays, protein screening experiments, BLI/SPR assays, thermostability assays, or wants to submit protein sequences for experimental characterization. Also trigger when code imports `adaptyv`, `adaptyv_sdk`, or `FoundryClient`, or references `foundry-api-public.adaptyvbio.com`.
Explore Other Categories
Skills from other categories with shared topics
Propositional Logic
Problem-solving strategies for propositional logic in mathematical logic
Algorithmic Art
Creating algorithmic art using p5.js with seeded randomness and interactive parameter exploration. Use this when users request creating art using code, generative art, algorithmic art, flow fields, or particle systems. Create original algorithmic art rather than copying existing artists' work to avoid copyright violations.
cancel-ralph
Codex-compatible cancel command for Ralph loop state, preserving the original command name.