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 findings from the security scan

Fix and improve this skill with Tessl

tessl review fix ./skills/metamorphic-property-extractor/SKILL.md

Quality

Content

65%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

The body is admirably concise and well-structured, but its commands and resource links point to bundle files that are absent, undermining executability and navigation. Adding a failure-handling step would round out the workflow.

Suggestions

Provide the referenced scripts/property_extractor.py, scripts/verify_properties.py, and references/metamorphic_testing.md as actual bundle files, or remove the dead references.

Add a feedback loop after the Verify step (e.g., 'If verification fails, inspect failing properties, refine extraction parameters, and re-run').

Note required inputs and flags for each command (expected program format, properties.json schema) so the commands are fully runnable.

Dimension	Reasoning	Score
Conciseness	Lean throughout — no padding or over-explanation of metamorphic concepts; each property is a one-line formula and every token earns its place.	5 / 5
Actionability	Provides concrete, copy-paste-shaped commands ('python scripts/property_extractor.py --program function.py --output properties.json'), but the referenced scripts/ and references/ directories do not exist, so the commands are not actually runnable.	3 / 5
Workflow Clarity	A two-step sequence (Extract then Verify) is present and the verify step acts as a checkpoint, but there is no feedback loop describing what to do when verification fails.	3 / 5
Progressive Disclosure	Section organization is clean (Overview, Core Workflow, Properties, Resources) for a small skill, but the Resources section links to references/metamorphic_testing.md and scripts/property_extractor.py that do not exist, breaking navigation.	3 / 5
	Total	14 / 20 Passed

Description

92%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

The description is strong: third-person voice, concrete capabilities, explicit 'Use when' triggers, and a distinctive niche. Minor room for synonym or extension coverage in trigger terms.

Dimension	Reasoning	Score
Specificity	Lists multiple concrete actions — 'identify metamorphic properties (symmetry, linearity, additivity, input invariances)', 'Analyzes control flow, data flow, and sample executions', 'output structured properties' — with comprehensive coverage of capabilities.	5 / 5
Completeness	Explicitly answers both what ('identify metamorphic properties... Analyzes control flow, data flow, and sample executions') and when ('Use when generating metamorphic tests, discovering program properties, validating transformations, or creating test oracles').	5 / 5
Trigger Term Quality	Includes several natural trigger phrases ('generating metamorphic tests', 'discovering program properties', 'validating transformations', 'creating test oracles'), but lacks synonyms or file-extension variants common to the domain.	4 / 5
Distinctiveness Conflict Risk	Occupies a clear niche (metamorphic property extraction) with distinct triggers like 'metamorphic tests' and 'test oracles', giving minimal overlap risk with other skills.	5 / 5
	Total	19 / 20 Passed

Validation

87%

Warnings & errors only

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 14 / 16 Passed

Validation for skill structure

Criteria	Description	Result
relative_links	Relative link issues: 1 missing	Warning
referenced_paths_exist	Referenced path issues: 5 missing	Warning

	Total	14 / 16 Passed

Repository: ArabelaTso/Skills-4-SE
Path: skills/metamorphic-property-extractor/SKILL.md
Commit: 4f38503

Reviewed: 19 days ago

Table of Contents

Discovery Implementation Validation

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.