Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review → 2Étoiles du dépôt
1Clients
1Formats
il y a 9 jDernière mise à jour
Skill
Auteurhoanganhduc
Version0.0.0
LicenceGPL-3.0
CatégorieWorkflow
Formatsskill.md
PromptNon publié
Compatibilité
Claude✓ Pris en charge
Cursor—
Copilot—
ChatGPT—
Gemini—
À propos
Use when preparing optional AxiomMath AXLE MCP setup for manual formal-proof assistance.