mathematical-logic-expert
From the author
Expert in formal logic, model theory, computability, and foundations of mathematics
Install
npx skills add foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert -a claude-code
Installs to .claude/skills/mathematical-logic-expert/ · Each command fetches the skill straight from GitHub with the open skills CLI.
No download: this skill’s licence (Custom or unclear) does not let us redistribute its files. The install commands fetch them from GitHub instead.
Want your agent to suggest skills while you type? See how to use skills from your IDE.
Safety checks on SKILL.md
No warnings.
Why 85
Security100
Provenance83
Maintenance100
Licence45
Adoption57
aiqbench computes the trust score from public signals. It is not a security audit, so read a skill before you install it.
Similar skills
Closest to this one by what they do and when they are used.
- predicate-logicparcadei/Continuous-Claude-v3Problem-solving strategies for predicate logic in mathematical logicOther★ 3.9K
- propositional-logicparcadei/Continuous-Claude-v3Problem-solving strategies for propositional logic in mathematical logicOther★ 3.9K
- mathparcadei/Continuous-Claude-v3Unified math capabilities - computation, solving, and explanation. I route to the right tool.Other★ 3.9K
- cs-foundationsforyourhealth111-pixel/Vibe-SkillsMaster discrete mathematics, logic, formal proofs, and computational thinking. Build the mathematical foundation for all computer science.Science★ 3.8K
- math-model-selectorparcadei/Continuous-Claude-v3Routes problems to appropriate mathematical frameworks using expert heuristicsOther★ 3.9K
- proof-theoryparcadei/Continuous-Claude-v3Problem-solving strategies for proof theory in mathematical logicOther★ 3.9K
Ratings & reviews
—
no reviews
Tried this skill? Rate it to help others. Sign in
Discussion
Join the discussion. Sign in