Synthèse automatique
Cette compétence effectue une revue de code ciblée sur la validité mathématique et physique des calculs implémentés.
Points forts
- Vérifie l'usage des unités (astropy.units, quantities) et la cohérence dimensionnelle des opérations
- Compare les équations implémentées aux articles de référence ou manuels standard
- Signale les problèmes de stabilité numérique (division par zéro, perte de précision flottante) et les cas limites
- Propose un petit script de contrôle pour tester les lois de conservation, par exemple le théorème de Parseval sur une FFT
Limites
- La qualité de la revue dépend fortement de la connaissance du domaine physique concerné, non fournie par la compétence
- Ne remplace pas une validation expérimentale ou une comparaison à des données réelles
- Les scripts de sanity check générés restent sommaires et doivent être relus
À utiliser lorsqu'on veut auditer du code scientifique ou de simulation dont la justesse physique et mathématique doit être confirmée avant mise en production.
À éviter sur du code applicatif sans contenu mathématique ou physique, où la revue n'apporterait rien.
Analyse de sécurité
SûrThe skill is purely advisory: it instructs the agent to review code for dimensional consistency, mathematical correctness, numerical stability, and physical sanity. There are no destructive commands, no network or secret access, no obfuscation, and no attempts to disable safety controls. The only execution-adjacent step is writing small sanity-check scripts, which is a normal and bounded testing activity, not a risk.
- •Step 3 suggests creating and running small test scripts to check conservation laws; this is a legitimate verification activity, but without declared tools its execution scope is unspecified.
Exemples
Review my FFT power spectrum implementation for dimensional consistency and numerical stability, and write a small test that verifies Parseval's theorem holds.My orbital simulation uses astropy.units — check that every operation is dimensionally valid and that no Length is added to a Time.Compare the heat diffusion equation implemented in solver.py against the standard literature form and flag any suspect terms or edge cases at f=0.name: check_physics description: 実装内容が数学的・物理学的に妥当か検証する
Verify Physics
This skill performs a review of the code specifically focusing on physics and math correctness.
Instructions
-
Dimensional Analysis:
- Check if unit handling (e.g.,
astropy.units,quantities) is used correctly. - Ensure operations are physically valid (e.g., not adding Length to Time).
- Check if unit handling (e.g.,
-
Mathematical Inspection:
- Verify equations against known reference papers or standard textbooks.
- Check for numerical stability issues (e.g., division by zero, floating point precision loss).
- Check edge cases (e.g., $f=0$, infinite limits).
-
Sanity Checks:
- Create a small script to test conservation laws (e.g., Parseval's theorem for FFT).
- Verify that reasonable inputs produce physically reasonable outputs.
-
Report:
- Provide a summary of the analysis, pointing out any suspect logic or confirming validity.
Du fichier au premier essai
Le téléchargement contient exactement le contenu affiché sur cette fiche. Cette copie peut différer de la dernière version du dépôt source.
Consulter la source et ses fichiers annexesCe téléchargement contient uniquement SKILL.md. Les scripts, références, modèles et dépendances éventuels ne sont pas inclus. Récupérez les fichiers nécessaires depuis la source en conservant leur arborescence avant de poursuivre.
1. Télécharger le fichier
Télécharger SKILL.mdDepuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/physics-and-mathematics-verification-mm8o532r/SKILL.md, ou utilisez la commande suivante. Ce dossier sert à examiner la skill avant son installation.
Commande pour macOS/Linux ou WSL : un shell POSIX et curl sont nécessaires. Sous Windows sans WSL, utilisez le bouton de téléchargement et créez le dossier manuellement.
mkdir -p '.skill-downloads/physics-and-mathematics-verification-mm8o532r' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/physics-and-mathematics-verification-mm8o532r/download' --output '.skill-downloads/physics-and-mathematics-verification-mm8o532r/SKILL.md.part' && mv '.skill-downloads/physics-and-mathematics-verification-mm8o532r/SKILL.md.part' '.skill-downloads/physics-and-mathematics-verification-mm8o532r/SKILL.md'2. Vérifier les prérequis
Lisez SKILL.md avant de l’utiliser. Si le fichier cite des scripts ou services externes, examinez-les et préparez les accès nécessaires dans votre environnement de test.
Aucune section de prérequis reconnue dans ce fichier. Cela ne signifie pas qu’il est autonome : les bibliothèques, outils et accès peuvent être cités ailleurs dans le contenu ou dans le dépôt source.
Les plateformes de la fiche sont des indications du catalogue. Les chemins ci-dessous suivent la documentation des outils ; ils ne prouvent pas que cette skill y a été exécutée. Aucune version minimale de ces outils n’est attestée pour cette fiche.
3. Charger la skill
Le fichier ne fournit pas un en-tête name/description exploitable pour cette procédure native. Le téléchargement reste disponible pour lecture ; utilisez le mode manuel ci-dessous.
Mode manuel ou autre outil : joignez SKILL.md à une conversation, ou ouvrez-le dans un agent capable de lire les fichiers. Ajoutez les ressources annexes nécessaires. Il n’existe pas de dossier universel reconnu par tous les outils.
4. Faire un premier essai
Utilisez une entrée courte et fictive : un endpoint d’API, un petit document ou un brief d’interface. Dans une nouvelle conversation, joignez le fichier ou donnez son chemin à l’agent, puis adaptez cette demande :
Lis .skill-downloads/physics-and-mathematics-verification-mm8o532r/SKILL.md et applique ses instructions à cet exemple : [décrire une entrée de test]. Indique les fichiers, dépendances ou accès qui manquent. Produis le résultat demandé par la skill sans inventer de données ni exécuter de script non examiné.Résultat attendu : une sortie correspondant aux instructions de la skill, ou une liste précise des prérequis manquants. Une simple confirmation de lecture ne valide pas le premier usage. Si une ressource externe est indisponible, ce parcours reste à tester.
Comparaison de performances ClickHouse
Testing
Évaluez les résultats de tests de performance ClickHouse, analysez les régressions de PR, comparez avec l'historique et vérifiez la fiabilité des mesures.
Analyse des rapports de performance CI
Testing
Analyse les rapports de comparaison de performance CI pour une PR ClickHouse. Recoupe l'historique master pour distinguer les vraies régressions des tests instables.
Méthode Santa
Testing
Vérification adversarial multi-agents avec deux réviseurs indépendants. La sortie est vérifiée deux fois et corrigée itérativement jusqu'à ce que les deux acceptent avant publication.