MCP HubMCP Hub
SKILL·7732D1

transcendental-keyboard

plurigrid
Mis à jour 1 month ago
14 vues
7
3
7
Voir sur GitHub
Designgeneral

À propos

Cette compétence Claude fournit des contrôles clavier unifiés pour interagir avec plusieurs assistants de preuve et environnements mathématiques via Emacs. Elle intègre Stellogen, Proof General, Narya et Lean avec le retour coloré de Gay.jl pour des repères visuels déterministes. Utilisez cette compétence lorsque vous avez besoin de flux de travail clavier cohérents à travers différents systèmes de démonstration de théorèmes avec support automatisé de tactiques.

Installation rapide

Claude Code

Recommandé
Principal
npx skills add plurigrid/asi -a claude-code
Commande PluginAlternatif
/plugin add https://github.com/plurigrid/asi
Git CloneAlternatif
git clone https://github.com/plurigrid/asi.git ~/.claude/skills/transcendental-keyboard

Copiez et collez cette commande dans Claude Code pour installer cette compétence

Dépôt GitHub

plurigrid/asi
Chemin: skills/transcendental-keyboard
0
FAQ

Frequently asked questions

What is the transcendental-keyboard skill?

transcendental-keyboard is a Claude Skill by plurigrid. Skills package instructions and resources that Claude loads on demand, so Claude can perform transcendental-keyboard-related tasks without extra prompting.

How do I install transcendental-keyboard?

Use the install commands on this page: add transcendental-keyboard to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does transcendental-keyboard belong to?

transcendental-keyboard is in the Design category, tagged general.

Is transcendental-keyboard free to use?

Yes. transcendental-keyboard is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

Compétences associées

executing-plans
Design

Utilisez la compétence executing-plans lorsque vous disposez d'un plan de mise en œuvre complet à exécuter par lots contrôlés avec des points de contrôle de revue. Elle charge et examine le plan de manière critique, puis exécute les tâches par petits lots (3 tâches par défaut) tout en rapportant la progression entre chaque lot pour une revue par l'architecte. Cela garantit une mise en œuvre systématique avec des points de contrôle de qualité intégrés.

Voir la compétence
requesting-code-review
Design

Cette compétence délègue un sous-agent réviseur de code pour analyser les modifications apportées au code par rapport aux exigences avant de poursuivre. Elle doit être utilisée après avoir terminé des tâches, implémenté des fonctionnalités majeures, ou avant une fusion vers la branche principale. La revue aide à détecter précocement les problèmes en comparant l'implémentation actuelle avec le plan initial.

Voir la compétence
connect-mcp-server
Design

Cette compétence fournit un guide complet permettant aux développeurs de connecter des serveurs MCP à Claude Code via les transports HTTP, stdio ou SSE. Elle couvre l'installation, la configuration, l'authentification et la sécurité pour intégrer des services externes tels que GitHub, Notion et des API personnalisées. Utilisez-la lors de la configuration d'intégrations MCP, de la configuration d'outils externes ou du travail avec le Protocole de Contexte de Modèle de Claude.

Voir la compétence
web-cli-teleport
Design

Cette compétence aide les développeurs à choisir entre les interfaces Web et CLI de Claude Code en fonction de l'analyse des tâches, puis permet une téléportation transparente des sessions entre ces environnements. Elle optimise le flux de travail en gérant l'état et le contexte de la session lors du passage entre le web, la CLI ou le mobile. Utilisez-la pour des projets complexes nécessitant différents outils à diverses étapes.

Voir la compétence