metamorphic-property-extractor

Automatically identify metamorphic properties (symmetry, linearity, additivity, input invariances) from programs or functions. Use when generating metamorphic tests, discovering program properties, validating transformations, or creating test oracles without explicit specifications. Analyzes control flow, data flow, and sample executions to output structured properties for metamorphic test generation and verification.

1.78x

Quality

78%

Does it follow best practices?

Impact

93%

1.78x

Average score across 3 eval scenarios

Securityby

Passed

No known issues

Optimize this skill with Tessl

npx tessl skill review --optimize ./skills/metamorphic-property-extractor/SKILL.md

Evaluation results

100%

58%

Metamorphic Property Analysis for a Geometry Utility Library

Two-script extract-verify workflow

Criteria

Without context

With context

Extractor script exists

100%

Extractor --program flag

100%

Extractor --output flag

100%

Verifier script exists

25%

100%

Verifier --program flag

100%

Verifier --properties flag

100%

properties.json exists

100%

Extract before verify order

80%

100%

Verification results file

100%

JSON properties structure

100%

Symmetry property identified

100%

80%

31%

Property Catalog for a Numerical Algorithm Suite

Metamorphic property type classification

Criteria

Without context

With context

Extractor script exists

Extractor --program flag

75%

Extractor --output flag

75%

properties.json exists

Linearity identified

33%

100%

Idempotence identified

83%

100%

Permutation invariance identified

83%

100%

Additivity identified

50%

100%

Formal relation notation

90%

100%

Multiple functions cataloged

100%

35%

Automated Test Oracle Generation for a Text Pipeline

Control flow, data flow, and sample execution analysis

Criteria

Without context

With context

Extractor script exists

100%

Extractor --program flag

100%

Extractor --output flag

100%

Verifier script exists

100%

Verifier --program flag

100%

Verifier --properties flag

100%

Sample executions in extraction

100%

Extraction log produced

100%

properties.json exists

100%

Verification results file

100%

Idempotence of normalize

100%

Extract before verify

100%

Repository: ArabelaTso/Skills-4-SE
Commit: 0f00a4f

Evaluated: 29 days ago
Agent: Claude Code
Model: Claude Sonnet 4.6

Table of Contents

Metamorphic Property Analysis for a Geometry Utility Library Property Catalog for a Numerical Algorithm Suite Automated Test Oracle Generation for a Text Pipeline

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.