How jeffrey-0617/self-evolving-agent-for-refactoring works
The product is a self-evolving agent for refactoring Wright# architecture designs from natural-language requirements. Its central workflow is requirement intake, assertion preparation, ADL refactoring, property verification, and repair; post-task reflection adds reusable skills, tools, and memory. The README documents this workflow and the knowledge lifecycle. Some orchestration is unsampled, so links between the agent, skills, and individual tools are shown only where documented; the verifier’s PAT-service call is supported by the sampled source.
Main entry points: refactoring_agent_claude_cli.py Refactoring agent · run_clustered_requirements_batch_claude.py Batch runner · verify_wrighthash_all_properties.py Property verifier · refactoring_agent_subscription.py Subscription agent
Components 16
Refactoring workflow
- Refactoring agent
agents/refactoring_agent_claude_cli.py - Subscription agent
agents/refactoring_agent_subscription.py - Wright# designs
wrighthashADL - Assertions
tmp/assertions.md - Refactored ADL
tmp/refactored.adl
Agent knowledge
- Cold-start skills
.claude/skills - Evolved skills
Evolved_skills_memory/skills - Memory patterns
Evolved_skills_memory/Memory/patterns - Static analysis tools
Evolved_skills_memory/tools
Verification
- Property verifier
agents/verification/verify_wrighthash_all_properties.py
Batch execution
- Requirements workbook
wrighthashADL/new_clustered_requirements.xlsx - Batch runner
agents/run_clustered_requirements_batch_claude.py - Batch results
batch_results
Other components
- Engineer
- Claude Code CLI
- PAT verifier service
Connections 18
- Engineer → Batch runner: starts batch
- Requirements workbook → Batch runner: supplies tasks
- Batch runner → Refactoring agent: dispatches task
- Engineer → Refactoring agent: provides requirement
- Engineer → Subscription agent: provides task
- Refactoring agent → Claude Code CLI: runs agent loop
- Subscription agent → Claude Code CLI: runs agent loop
- Wright# designs → Refactoring agent: provides design
- Assertions → Refactoring agent: provides properties
- Refactoring agent → Refactored ADL: writes design
- Cold-start skills → Refactoring agent: guides workflow
- Refactoring agent → Property verifier: verifies design
- Property verifier → PAT verifier service: posts verification
- Property verifier → Refactored ADL: reads design
- Refactoring agent → Static analysis tools: applies tools
- Refactoring agent → Evolved skills: updates skills
- Refactoring agent → Memory patterns: records patterns
- Batch runner → Batch results: records outcomes