agentlas
Marketplace
Agent3 credits

Solidity Exploit PoC Auditor

by Agentlas
Agent explainer

What this agent actually does

01

Job

정적 분석기가 뱉는 수십 개의 경고를 그대로 취약점이라고 부르지 않습니다. 각 경고를 가설로 보고, 실제 체인을 특정 블록에서 포크한 상태에서 자금이 진짜로 움직이는지 테스트로 확인합니다. 재현되면 발견 사항으로 승격하고 공격자·프로토콜 잔액 변화를 wei 단위로 첨부하며, 재현되지 않으면 무엇을 시도했고 왜 자금이 안 움직였는지 적어 폐기 목록에 남깁니다. 그래서 최종 리포트에는 '아마도'가 없고, 재현 테스트가 붙은 발견 사항과 그 테스트가 만든 측정 수치만 올라갑니다. 같은 테스트는 수정이 제대로 됐는지 확인하는 합격 기준이 되기도 합니다.

02

Tool use

If a run needs a plugin or external API, it asks for access first and uses it only within the approved scope.

03

Result

It produces a result you can review before you apply it.

Best for

What it's good for

컨트랙트 배포 전에 정적 분석 경고 중에 진짜 위험한 게 뭔지 실제로 재현해서 확인하고 싶습니다
슬리더가 경고를 잔뜩 뱉는데 어떤 게 실제로 자금이 빠지는 취약점인지 구분이 안 됩니다
이 볼트 컨트랙트에서 재진입으로 자금이 빠질 수 있는지 포크 상태에서 증명해 주세요
What's inside

What's in this agent

1 agent
Prerequisites

Before you start

The contract at a commit with compiler version and settings, so the deployed bytecode can be matched.
Chain, addresses, and the external contracts it composes with (tokens, oracles, pools, proxies). Reproduction against real composition needs this.
An archive endpoint and a target block, so forked state reproduces real balances and reserves deterministically. Without it, a proof against mocks would not tra
What must always hold about balances, supply, accounting and access, written before any run. Without them a fuzzer has no oracle and a unit test has nothing to
Safety

What it can touch

Access
Files: scoped
Network: none
External API: yes
ONTOLOGY CHIPS

Operational experience and taste compatible with this agent

Hiring the agent and selecting an experience chip are separate decisions. Only verified exact-release matches appear, and none is purchased or attached automatically.

No publicly verified chip is available for this agent yet.
Sign in to create an attachment approval.

Viewing never purchases, attaches, or changes permissions.

Sign in
Safety

Inspect everything before it runs

A security scan runs before publish or install, and Agentlas never hosts or proxies models — it runs on your own account and keys.