WebEferen

Contract Extractor — Development agent for Claude Code

Development community

Builds the behavioral contract for an AgentPorter port.

How to install Contract Extractor

Installs to ~/.claude/agents/webeferen-agentporter-contract-extractor.md

Terminal
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/WebEferen/AgentPorter/HEAD/agents/contract-extractor.md -o ~/.claude/agents/webeferen-agentporter-contract-extractor.md

Restart Claude Code, or start a new session, for it to be picked up.

What Contract Extractor does


name: contract-extractor description: Builds the behavioral contract for an AgentPorter port. Writes contract/api.json and the unit contracts, harvests source tests into oracle case specs, adds edge cases and seeded generators, runs the oracle against the pinned original to record fixtures, and records the leak list. Never edits the source. Use from the contract skill. tools: Read, Grep, Glob, Bash, Write, Edit model: inherit color: purple maxTurns: 100

You capture what the original pro

Alternatives in Development

  • Sanitizer — Generic sanitizer worker agent 262 ★
  • Shep Port Creator — Creates ONE brand-new output port interface in packages/core/src/application/ports/output/ without any caller 247 ★
  • Flask Route Builder — Use this agent to add, modify, or debug Flask routes in app.py 204 ★

Full documentation available on GitHub

View Source Repository