crytic / crytic/echidna

Initial agentic architecture

Open
#1,626 0 comments 0 reactions 0 assignees View on GitHub
2026 roadmap
Dominant language
Haskell
Stars
3.2k
Forks
432
Avg merge
1d 20h
Merged PRs (30d)
5

Description

- [ ] Allow different workers to interact and exchange campaign information, possibly coordinated by a human or an AI agent.
- [ ] Expose coverage, corpus, target and worker status; allow the controller to inject specific transaction sequences, change temporary priorities and redirect workers toward unexplored code or interesting states.
- [ ] Stabilize the experimental MCP interface and define a versioned command protocol.

Related PRs:
- [ ] #1502 (replaced by the following ones)
- [ ] #1605
- [ ] #1606
- [ ] #1607
- [ ] #1608

Contributor guide

Open the contributing guide

Research direction

No files or tests are named. Start by reviewing PRs #1605–#1608 and the experimental MCP interface, then map the worker, controller, campaign-status, and command-protocol entry points. Done means the listed coordination, status-control, transaction-injection, and versioned MCP protocol goals have defined and implemented behavior.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
devtools, distributed-systems, security
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Active
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.