-
Notifications
You must be signed in to change notification settings - Fork 33
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#135 In KasarLabs/snak;
- Status: Open.#132 In KasarLabs/snak;
- Status: Open.#130 In KasarLabs/snak;
[BUG] Race condition when LLM model calls prove and verify tools simultaneously
bugSomething isn't workingSomething isn't workingStatus: Open.#123 In KasarLabs/snak;[BUG] Agent not using calling scarb_verify_program tool with projectName
bugSomething isn't workingSomething isn't workingStatus: Open.#121 In KasarLabs/snak;[Bug] Socket hang up (ECONNRESET) during deployment requests
bugSomething isn't workingSomething isn't workingStatus: Open.#116 In KasarLabs/snak;feat(dev): Need a reproducible developer environment and deployment solution
enhancementNew feature or requestNew feature or requestStatus: Open.#113 In KasarLabs/snak;refactor(pg): usage of PostgreSQL in the codebase
enhancementNew feature or requestNew feature or requestStatus: Open.#112 In KasarLabs/snak;