aws-samples / aws-samples/sample-automated-reasoning-formalization
Refactor to isolate tools
Open
- Dominant language
- TypeScript
- Stars
- 43
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
Split the project into three sub-packages that can be used/deployed independently:
1. The UI and business logic
2. Agent definitions that are compatible with Kiro
3. MCP implementation for Automated Reasoning checks workflows
Contributor guide
Research direction
Start by mapping the current project structure and dependencies across the UI, business logic, agent definitions, and MCP implementation. Done means the project is split into three sub-packages that can each be used and deployed independently, including Kiro-compatible agent definitions and MCP support for Automated Reasoning checks workflows.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- aws, typescript
- Domain
- ai, full-stack
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100