Certificato numerico multi-punto ad alta precisione (mpmath) per validare un risultato matematico del CAS — identità, integrale (D(F)=f), limite, serie, fattorizzazione. Metodo provato nel progetto (spec A7 verificata mpmath; certificati multi-punto in memoria). Non sostituisce i test strutturali: li integra quando l'equivalenza simbolica è dubbia.
ItalianMette in pausa l'agente AI per un tempo definito dall'utente, restituendo un messaggio specifico al termine. L'agente deve attendere l'esecuzione completa del timer prima di procedere. Utilizzato tramite il comando /timer-post messaggio;tempo.
Italian
AGENT SKILLS ATLASIncludes Numeric Certify and Timer Post.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Numeric Certify
Certificato numerico multi-punto ad alta precisione (mpmath) per validare un risultato matematico del CAS — identità, integrale (D(F)=f), limite, serie, fattorizzazione. Metodo provato nel progetto (spec A7 verificata mpmath; certificati multi-punto in memoria). Non sostituisce i test strutturali: li integra quando l'equivalenza simbolica è dubbia.
Timer Post
Mette in pausa l'agente AI per un tempo definito dall'utente, restituendo un messaggio specifico al termine. L'agente deve attendere l'esecuzione completa del timer prima di procedere. Utilizzato tramite il comando /timer-post messaggio;tempo.
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Use the Numeric Certify skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- Reported license for the skills shown: MIT. The author’s terms apply.