Metamorphic Property Extractor Agent Skill
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.
Install
one command, takes just this skill from the repositorynpx skills add https://github.com/ArabelaTso/Skills-4-SE --skill metamorphic-property-extractorThe instruction itself
12 sections, as written by the authorMetamorphic Property Extractor
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
Other skills for the same job
different authors, same section of the catalogue
Use when implementation is complete, all tests pass, and you need to decide how to integrate the work - guides completion of development work by presenting structured options for merge, PR, or cleanup
Comprehensive GitHub release orchestration with AI swarm coordination for automated versioning, testing, deployment, and rollback management
Migrate test files from `as` type assertions to @total-typescript/shoehorn. Use when user mentions shoehorn, wants to replace `as` in tests, or needs partial test data.
Modern JavaScript/TypeScript development with Bun runtime. Covers package management, bundling, testing, and migration from Node.js. Use when working with Bun, optimizing JS/TS development speed, or migrating from Node.js to Bun.
You are a dependency management expert specializing in safe, incremental upgrades of project dependencies. Plan and execute dependency updates with minimal risk, proper testing, and clear migration pa
Master systematic debugging techniques, profiling tools, and root cause analysis to efficiently track down bugs across any codebase or technology stack. Use when investigating bugs, performance issues, or unexpected behavior.
Opinionated backend development standards for Node.js + Express + TypeScript microservices. Covers layered architecture, BaseController pattern, dependency injection, Prisma repositories, Zod validation, unifiedConfig, Sentry error tracking, async safety, and testing discipline.
Best practices for writing JavaScript/TypeScript tests using Jest, including mocking strategies, test structure, and common patterns.
How to use it
Take arabelatso/metamorphic-property-extractor from the repository into ~/.claude/skills for personal
use, or into .claude/skills inside a project.
The agent identifies a skill by the name field in its header. Two skills with the
same name cannot sit side by side — one of them will be ignored.