designing-assertions
Acerca de
Esta habilidad diseña invariantes y mapeos de activación para aserciones de contratos inteligentes antes de su implementación. Guía a los desarrolladores en la descomposición de reglas de protocolo en condiciones pre/post aplicables y en la selección de tipos de activación apropiados. Úsela al iniciar un nuevo conjunto de aserciones para establecer una lógica de verificación de alta señal.
Instalación rápida
Claude Code
Recomendadonpx skills add majiayu000/claude-skill-registry -a claude-code/plugin add https://github.com/majiayu000/claude-skill-registrygit clone https://github.com/majiayu000/claude-skill-registry.git ~/.claude/skills/designing-assertionsCopia y pega este comando en Claude Code para instalar esta habilidad
Repositorio GitHub
Frequently asked questions
What is the designing-assertions skill?
designing-assertions is a Claude Skill by majiayu000. Skills package instructions and resources that Claude loads on demand, so Claude can perform designing-assertions-related tasks without extra prompting.
How do I install designing-assertions?
Use the install commands on this page: add designing-assertions 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 designing-assertions belong to?
designing-assertions is in the Design category, tagged design.
Is designing-assertions free to use?
Yes. designing-assertions is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Habilidades relacionadas
Utilice la habilidad executing-plans cuando tenga un plan de implementación completo para ejecutar en lotes controlados con puntos de revisión. Esta habilidad carga y revisa críticamente el plan, luego ejecuta tareas en pequeños lotes (por defecto 3 tareas) mientras reporta el progreso entre cada lote para la revisión del arquitecto. Esto asegura una implementación sistemática con puntos de control de calidad integrados.
Esta habilidad despacha un subagente revisor de código para analizar los cambios en el código frente a los requisitos antes de proceder. Debe usarse después de completar tareas, implementar funciones principales o antes de fusionar con la rama principal. La revisión ayuda a detectar problemas de forma temprana al comparar la implementación actual con el plan original.
Esta habilidad proporciona una guía integral para que los desarrolladores conecten servidores MCP a Claude Code mediante transportes HTTP, stdio o SSE. Cubre la instalación, configuración, autenticación y seguridad para integrar servicios externos como GitHub, Notion y APIs personalizadas. Úsala al configurar integraciones MCP, al configurar herramientas externas o al trabajar con el Protocolo de Contexto del Modelo de Claude.
Esta habilidad ayuda a los desarrolladores a elegir entre las interfaces web y CLI de Claude Code mediante el análisis de tareas, y luego permite la teletransportación fluida de sesiones entre estos entornos. Optimiza el flujo de trabajo gestionando el estado y el contexto de la sesión al cambiar entre web, CLI o móvil. Úsala para proyectos complejos que requieren diferentes herramientas en varias etapas.