input-output-hk / input-output-hk/plutus-testing-tool

[Epic]: LLM integration

Open
#2 0 comments 0 reactions 2 assignees Claimed by @KJES4 View on GitHub
epic to be triaged
Dominant language
No language data
Stars
0
Forks
0
PR merge metrics
No merged PRs in 30d

Description

### Acknowledgements

- [X] I am a member of the team

### Epic description

Assistance to Contract model
Assistance to Property writing
Assistance to Debugging

AI Agents that can work together to deliver "High Assurance"

### Acceptance Criteria/Task List

- [x] #17
- [x] #18
- [ ] #19

### Priority

Medium

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.