Metamorphic Property Extractor
SkillDev toolsAutomatically 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.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the Metamorphic Property Extractor skill
What this skill tells your AI
The instructions your AI receives, as published by arabelatso/skills-4-se in skills/metamorphic-property-extractor/SKILL.md and read by ahel’s review.
Overview
Automatically identify metamorphic properties from programs to enable metamorphic testing without explicit test oracles.
Core Workflow
1. Extract Properties
python scripts/property_extractor.py --program function.py --output properties.json
2. Verify Properties
python scripts/verify_properties.py --program function.py --properties properties.json
Metamorphic Properties
Symmetry
f(x, y) == f(y, x)
Linearity
f(a*x) == a*f(x)
Additivity
f(x + y) == f(x) + f(y)
Idempotence
f(f(x)) == f(x)
Permutation Invariance
f(permute(x)) == f(x)
Resources
- references/metamorphic_testing.md: Metamorphic testing guide
- scripts/property_extractor.py: Property extraction tool
Signals
- GitHub stars
- 252
- Forks
- 23
- Last commit
- Aug 2026
Advanced
- Catalog kind
- skill
- Gateway key
metamorphic-property-extractor- Source
- github.com/arabelatso/skills-4-se