AI can find smart contract bugs. But can it prove them?
That's the gap I built DeTest to close.
@PashovAuditGrp solidity-auditor skill is genuinely impressive — 8 parallel agents, 266 attack vectors, structured findings in minutes.
But findings without proof are still just opinions.
DeTest is a Claude Code skill that sits downstream of pashov. It reads the audit report, classifies each finding, writes a Foundry test, runs forge test, iterates up to 3 times, and returns a verdict:
Confirmed— test passes, trace matches the exploit path
UnConfirmed — couldn't prove it
InConclusive — untestable by design (mempool, off-chain actors etc.)
A finding only becomes evidence when a Foundry test passes and the call trace confirms the attack path.
No passing test = no confirmed finding. Simple.
The full pipeline I'm running:
1/ @pashov → discovers vulnerabilities
2/ DeTest → proves or disproves with Foundry tests
3/ @hackenproof triage skill → scope check, duplicate check, severity, submission
Discovery → Verification → Submission.
DeTest is open source.
https://t.co/yNtvshI6pu
Built on top of pashov's work. Powered by Foundry. Running on Claude Code.
Building in public.
🚨 StackStream is live on Stacks mainnet.
The first payment streaming protocol on Stacks/Bitcoin.
Deployed May 20. Five end-to-end streams executed May 21.
Contracts, proof, and mainnet evidence below. 🧵
Contracts (verified on Stacks Explorer):
The door is open. 🚪🔥
Step through and become the developer you were built to be.
Cohort XV registration is LIVE — don't let another week pass you by.
🔗 Register now👇
https://t.co/2gAYwees4f
#Web3Bridge#Web3Africa#LearnWeb3
Less than 12 hours in, and we now have 13 feedbacks, socre at 22.01 and counting.
Aeco is an Autonomous AI agent posting real-time sentiment scores for crypto assets, people, and narratives on Celo Mainnet every 2 hours via Grok AI. Predictions, leaderboard, and x402 oracle API included.
This project, is an infact insights, on the future of oracles, and prediction market together, built on celo ecosystem.
https://t.co/UzesYw5Usf
Log in now
Claim celo,(if you don't have)
Make predicitions, based on the sentiments the agent is tracking.
Climb Leaderboard.
Win prediciton to earn $AES token.
Need your feedback guys, Lets build the future togther.
I Just got my First Feedback, and Star for my Agent.
Aeco Sentiment Oracle is an Autonomous AI agent posting real-time sentiment scores for crypto assets, people, and narratives on Celo Mainnet every 2 hours via Grok AI. Predictions, leaderboard, and x402 oracle API included.
Let it be your source of truth too.
It currently offers two free endpoint for celo assets, and a paid endpoint for the eight assets, it covers.
Plug, your agents to recieve real sentient data on celo, and some crypto related topics.
https://t.co/sEoxjttZLE
I Just got my First Feedback, and Star for my Agent.
Aeco Sentiment Oracle is an Autonomous AI agent posting real-time sentiment scores for crypto assets, people, and narratives on Celo Mainnet every 2 hours via Grok AI. Predictions, leaderboard, and x402 oracle API included.
Let it be your source of truth too.
It currently offers two free endpoint for celo assets, and a paid endpoint for the eight assets, it covers.
Plug, your agents to recieve real sentient data on celo, and some crypto related topics.
https://t.co/sEoxjttZLE
I Just got my First Feedback, and Star for my Agent.
Aeco Sentiment Oracle is an Autonomous AI agent posting real-time sentiment scores for crypto assets, people, and narratives on Celo Mainnet every 2 hours via Grok AI. Predictions, leaderboard, and x402 oracle API included.
Let it be your source of truth too.
It currently offers two free endpoint for celo assets, and a paid endpoint for the eight assets, it covers.
Plug, your agents to recieve real sentient data on celo, and some crypto related topics.
https://t.co/sEoxjttZLE
Most agents simulate activity.
Built an autonomous AI sentiment oracle on @Celo that reads X, news, and price data every 2hrs and posts verified scores on-chain.
Users, can predict, on the increase or decrease of the sentiment, agains the next Agent run, and earn AES token, if they win.
Please check out the agent in 8004scan, and give feedback too, will really appreciate.
AI is the user.
🔗 https://t.co/hxbBuMi923
📊 https://t.co/EPLzjx0vhn
🐙 https://t.co/czk3c7pg8S
#Celo #ProofOfShip #AIAgents
Someone who says they are your friend but doesn’t put you on real opportunities that will help you win is an enemy instead. Friends that last a lifetime are friends that put you on special opportunities like Proof of Ship on @CeloDevs.
Friends who show you the distribution opportunity that is only possible in @minipay.
🔗: https://t.co/zQ77CDafHq
$1,000,000
It's what security researcher just got paid for reporting a vulnerability in a web3 bug bounty program. He has just 2 years of tech exp in total.
Never seen anything like this space before. So great to be taking part in this, we will be telling the stories some day🫡
Building a product in Africa isn’t about fancy Silicon Valley frameworks. It’s about building under pressure and surviving broken distribution, currency shocks, and low-trust environments.
I spent an incredible day at World Product Day Lagos rubbing minds with serious operators. Unpacking consumer conversion and execution with leaders like Abdul Basit from @moniepoint was an absolute masterclass in building for the African reality.
I really appreciate the organizers @InnovateFund because this event sparked the movement to elevate product thinking in Africa, bridge knowledge gaps with real-world insights, and support problem-solvers in building at scale.
My biggest takeaway? African founders are building brilliant solutions to our continent's "wicked problems," but traditional distribution is killing them.
I spent the day showing partners at Innovate Africa and top-tier builders in the room the ultimate distribution cheat code: @minipay.
If you are building consumer products for emerging markets, fighting the App Store is a trap. Build a Mini App on @Celo.
- Give your users sub-cent stablecoin payments (zero currency shocks).
- Instantly tap into 15 MILLION+ active wallets in @minipay.
- Get funded while you build through our $5,000 Proof of Ship monthly sprint on @CeloDevs.
The talent here is undeniable. Now it's time to give them the distribution they deserve. Stop side-questing.
Let's build at population scale.
As we turn off the lights on Cohort XIV, we’re getting ready to turn them on for the next cohort. 💡✨
Registration for Cohort XV is open and this could be the beginning of your tech journey. 🚀
Register Now 👉 https://t.co/sJtFpNPBor
Available tracks:
✅ Web2 Basics — for absolute beginners
✅ Web2 Advanced
✅ Web3 (Solidity)
✅ Rust
✅ Zero Knowledge
Be a part of the next cohort. Register now and take that first step into tech. 🔥
The builder energy at this session was completely unmatched!
Two days ago we wrapped up an intense Technical AMA with the founders and builders from the @UnicalTechClub & @Borderlessunn community. We didn't just talk theory we opened up the IDE and got to work.
We broke down:
- A live demo of Celopedia (shipping smart contracts 2x faster with AI)
- How to tap into the $5,000 Proof of Ship monthly pool on @CeloDevs.
- Bypassing the App Store to reach 15M+ wallets on @minipay
- Live teardowns and feedback on their MVPs/Ideas
The talent in Nigerian is ready for global distribution. Stop side-questing, Start building solutions that actually matter.
Let's keep shipping! 🚢
🍕 TRON Eco AI Pizza Day is LIVE — and Team BitTorrent is going for the biggest slice!
2,000 USDT prize pool unlocks at 4,000 total comments across projects. Highest comment volume wins the largest share.
BitTorrent playbook:
1. Follow + Like + RT @BitTorrent
2. Claim 500k free points at https://t.co/07B1wlYfn2 with code "BitTorrent"
3. Comment exactly: "Come login to https://t.co/07B1wlYfn2 for 500k free points and top models. Help me unlock the 2000 USDT prize pool." + tag 3 friends
4. Drop your screenshot for extra luck!
Let’s push BitTorrent to #1. Call your squad! 🔥
@BitTorrent@justinsuntron@OfficialSUNio
#BitTorrent #AIPizzaDay #TRONEcoStar #TRON
📢 TRON Eco AI Pizza Day is Live NOW.
In tribute to Bitcoin Pizza Day, the 2,000 USDT prize pool is ready to be sliced. Active from May 20 to May 29 (SGT), the pool unlocks when cross-community comments hit the 4,000 threshold. Prize allocation is strictly volume-based across the ecosystem.
Execution Steps:
▫️ Follow @BitTorrent, Like & RT this post.
▫️ Go to https://t.co/xpxb0ScfdX, claim 500,000 free credits, and use the AI Pizza Code "BitTorrent" to interact with https://t.co/Rsl0GT3lN8 and explore the world's largest distributed P2P network.
▫️ Reply exactly as follows and tag 3 friends:"Come login to https://t.co/Rsl0GT3lN8 for 500k free points and top models. Help me unlock the 2000 USDT prize pool."
Optimization:
Attach a screenshot of your https://t.co/Rsl0GT3lN8 prompt in your reply to multiply your winning probability.
Allocation Parameters:
Rewards scale with our ranking in total comments. 50 winners will be selected from this thread.
▫️ Rank 1: 600 USDT
▫️ Rank 2: 500 USDT
▫️ Rank 3: 400 USDT
▫️ Rank 4: 300 USDT
▫️ Rank 5: 200 USDT
The objective is clear. Maximize our replies to secure the top tier.