mathematical-logic-expert
De la autor
Expert in formal logic, model theory, computability, and foundations of mathematics
Instalare
npx skills add foryourhealth111-pixel/Vibe-Skills --skill mathematical-logic-expert -a claude-code
Se instalează în .claude/skills/mathematical-logic-expert/ · Fiecare comandă descarcă skill-ul direct de pe GitHub cu utilitarul open source skills.
Fără descărcare: licența acestui skill (Personalizată sau neclară) nu ne permite să-i redistribuim fișierele. Comenzile de instalare le iau direct de pe GitHub.
Vrei ca agentul să-ți propună skill-uri în timp ce scrii? Vezi cum folosești skill-urile din IDE.
Verificări de siguranță pe SKILL.md
Niciun avertisment.
De ce 85
aiqbench calculează scorul de încredere din semnale publice. Nu este un audit de securitate, așa că citește un skill înainte să-l instalezi.
Skill-uri similare
Cele mai apropiate de acesta prin ce fac și când sunt folosite.
- predicate-logicparcadei/Continuous-Claude-v3Problem-solving strategies for predicate logic in mathematical logicAltele★ 3.9K
- propositional-logicparcadei/Continuous-Claude-v3Problem-solving strategies for propositional logic in mathematical logicAltele★ 3.9K
- mathparcadei/Continuous-Claude-v3Unified math capabilities - computation, solving, and explanation. I route to the right tool.Altele★ 3.9K
- cs-foundationsforyourhealth111-pixel/Vibe-SkillsMaster discrete mathematics, logic, formal proofs, and computational thinking. Build the mathematical foundation for all computer science.Știință★ 3.8K
- math-model-selectorparcadei/Continuous-Claude-v3Routes problems to appropriate mathematical frameworks using expert heuristicsAltele★ 3.9K
- proof-theoryparcadei/Continuous-Claude-v3Problem-solving strategies for proof theory in mathematical logicAltele★ 3.9K
Note și recenzii
—
nicio recenzie
Ai încercat acest skill? Notează-l ca să-i ajuți pe alții. Autentifică-te
Discuție
Intră în discuție. Autentifică-te