agentsclimarketplace
Sign in

Mathematical logic expert

Skill foryourhealth111-pixel/Vibe-Skills/bundled/skills/mathematical-logic-expert

Expert in formal logic, model theory, computability, and foundations of mathematicsFrom its SKILL.md

Install
npx -y skills add foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

What its file declares

Copied from the file, not written here

The file declares its own license as Proprietary. That is the author’s claim about this one file, and it is not the same thing as the license GitHub reports for the repository, which is listed with the other numbers below.

SKILL.md

1.2 KB, 246 tokens by cl100k_base, as published. Nobody here has run it

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.

What ships with it: 5 files

4.6 KB alongside SKILL.md

modules/

Keep looking

Skills are one crate of 326,144. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.