SolShield @GoSolShield
Solana auditing with AI & formal verification - Affordable - On each commit - Subscription-based Building for the @colosseum Hackathon Powered by @FormalLand solshield.app Joined September 2025-
Tweets25
-
Followers25
-
Following35
-
Likes23
Our daily update: thinking about the security model to provide, meeting with @SuperteamFRANCE for mentoring, in particular @depitchsofian for pitching, @SoraPoet for social media, and Loïc for UI/UX
0
1
3
52
0
Download Video
What we are doing today: reading documentation about Solana smart contracts 📚. Quiet days are good for that.
SolShield retweeted
I'm building in the Solana Cypherpunk Hackathon, powered by @colosseum Helped by @SuperteamFRANCE 🇫🇷🥖! The project: @GoSolShield to use AI + FV to automate auditing on Solana with 💯 accuracy
SolShield retweeted
Many AI audit tools are being released: - SherlockAI by @sherlockdefi - V12 by @zellic_io We are following this trend with the development of @GoSolShield, aiming to merge AI and formal verification to deliver reliable audits on the @solana platform.
The slides of our presentation: solshield.app/pdf/2025-09-23…
The slides of our presentation: solshield.app/pdf/2025-09-23…
What we see: auditing is expensive for new projects. 💰 Additionally, for each new deployment, you must re-audit all your code. 🔄 We propose to change that by integrating AI & Formal Verification in a unique auditing tool for Solana. Subscription-based and affordable. 🚀
Sofian | legends.fun @depitchsofian
5K Followers 5K Following Building @legendsdotfun | Pitch doctor @depitch_academy 🎤➡️🏆 pitch academy of Solana | @solana validator | member @superteam | 3x founder
Kalyani Nirbhawane �... @KalyaniAmbedkar
79K Followers 65K Following Proud Indian, Ambedkarite, Public Figure,Wife to @TheJonyVerma, Inspiration @AshaAmbedkar, TURN ON 👉🔔DM For Paid Promotion 💰
Fleo-Thyphon @ProofOfLoveDao
89 Followers 106 Following ElizaOS Contributor | Building @SendoMarket | @Colosseum Hackathon builder
Asha Ambedkar 🇮�... @AshaAmbedkar
71K Followers 64K Following We Are Firstly And Lastly INDIAN 🇮🇳 ||Social Activist|| ||Self Made Warrior ||Follow 👉 @KalyaniAmbedkar , @TheJonyVerma DM For Paid Promotion 💰
Mouhurtik Ray @mouhurtik
6K Followers 4K Following 21 | IIT Madras B.S | AI/ ML Enthusiast | Avid Reader | Aspiring Entrepreneur Participating in #100DaysofCode #100DaysofML #BuildinPublic
Tushar S @TusharS4247
379 Followers 4K Following
Mickael Rutembya @mickael_rtdev
57 Followers 328 Following xPharma, University ML/AI Teacher, Blockchain/IA Dev & DeSci Researcher, Tokenomics & Purpose-driven Tokens Enthusiast,@musematrix_, PrivyPulse Founder
advisol @advisoly12413
4 Followers 8 Following ADVISOL connect founders & advisors and with escrowed milestones, on-chain proof. Accelerate project and get return while compounding reputation.
Dlodoh @Dlodoh
128 Followers 578 Following
Kim Cook @kimcookalts
463K Followers 52K Following Marketing Advisor & Crypto Trader | I Share Gems Every Day 💸 $ONDO $BNB $PENGU #UniverseBossCoin https://t.co/9OT8yqttZw
Riaz Baby @RiazBaby
18K Followers 15K Following Blockchain Analyst | Exploring with @KaitoAi & any project | Dm for promotion & meeting🤝
cypherFluff @cypherFluff
89 Followers 27 Following
CHARLES Oliver @CharlesO63294
25 Followers 86 Following 🏠 Pay rent & bills with MerChain Real-world payments, on-chain proofs, vault.
Magicred1 @Magicred_1
482 Followers 2K Following Web3 Entrepreneur & Blockchain Engineer | Building decentralized infra for good @anon0mesh | My opinions are my own
PauluneMoon @PauluneMoon
450 Followers 655 Following Building @dappzy_io & @wesplit_io | UX/UI Designer | @SuperteamFRANCE Member
Ataraxia @ataraxiaDEFIT
8K Followers 3K Following Founder @DEFITofficial 💙⚡Created @HYSOLfitness 💪 3x Ironman & 14x Ironman 70.3 🏊 🚴 🏃♂️ vice lead @SuperteamFRANCE 🇫🇷 Bullish on @solana
Godisrupt @go_disrupt
2K Followers 4K Following 🏡 Helper at @SuperteamFRANCE | 🌐 @two_third_io | 👨🍳 @marathonbill | NFA — my tweets reflect my own memecoiner views only 💯🧠
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Guillaume Claret 🐻... @guillaumeclaret
510 Followers 666 Following PhD, Founder/Security researcher at Formal Land Formal verification for Web3. Solitity/Rust/ZK Discuss: https://t.co/nnHMLuXje9
Sora @SoraPoet
160 Followers 740 Following Web3 Poet at @ANYW3AR 👕✒️ Lead Communication at @TheDiggersDAO ⛏️📢 Choose your words wisely, and I might turn them into a masterpiece.
Tushar S @TusharS4247
379 Followers 4K Following
mostro @mostroxyz
166 Followers 275 Following Crowdfunding, fair streaming, fun for fans. Web3 music platform and community for independent artists. In the @Colosseum hackathon
Mickael Rutembya @mickael_rtdev
57 Followers 328 Following xPharma, University ML/AI Teacher, Blockchain/IA Dev & DeSci Researcher, Tokenomics & Purpose-driven Tokens Enthusiast,@musematrix_, PrivyPulse Founder
Sofian | legends.fun @depitchsofian
5K Followers 5K Following Building @legendsdotfun | Pitch doctor @depitch_academy 🎤➡️🏆 pitch academy of Solana | @solana validator | member @superteam | 3x founder
Derek Dreyer @HerrDreyer
3K Followers 203 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Marc Lelarge 🌻 @marc_lelarge
5K Followers 605 Following Researcher in mathematics and machine learning @Inria and @ENS_ULM. Tweeting about maths and AI.
Ataraxia @ataraxiaDEFIT
8K Followers 3K Following Founder @DEFITofficial 💙⚡Created @HYSOLfitness 💪 3x Ironman & 14x Ironman 70.3 🏊 🚴 🏃♂️ vice lead @SuperteamFRANCE 🇫🇷 Bullish on @solana
Maria Zubova @zubova_maria
284 Followers 307 Following Marketing & Comms | @tezos |@LabosNomades | #blockchain | #fashion industries
Superteam France @SuperteamFRANCE
4K Followers 274 Following Building the @Solana ecosystem in France 🇫🇷 La délégation francophone officielle de Solana
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Type Theory Forall @ttforall
4K Followers 283 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
advisol @advisoly12413
4 Followers 8 Following ADVISOL connect founders & advisors and with escrowed milestones, on-chain proof. Accelerate project and get return while compounding reputation.
cypherFluff @cypherFluff
89 Followers 27 Following
Riaz Baby @RiazBaby
18K Followers 15K Following Blockchain Analyst | Exploring with @KaitoAi & any project | Dm for promotion & meeting🤝
CRY Alpha @Cry_List
85K Followers 28K Following l Architect l Web3 Marketing l Collab Manager - Ambassador l RT=ADs l Working With +50 KOLs Dm For Marketing Campaigns
Solana @solana
3.5M Followers 3K Following The high performance network powering internet capital markets, payments, and crypto applications. ◎ X By @SolanaFndn
Solana Sensei @SolanaSensei
229K Followers 2K Following Solana OG | God Mode Unlocked | Founder of Sensei Holdings and Namaste Group | Love Validator
Colosseum @colosseum
45K Followers 302 Following Solana's hackathon, accelerator, and venture fund | https://t.co/RX48pljr3t
Domin8 @domin8Arena
24 Followers 4 Following Domin8 Official Website | Ultime beting game | Only 1 will survive
Stealf @stealf_finance
246 Followers 41 Following Your Money, Your Choice, Your Privacy, Your NeoBank. Stealf. Built on @solana
NEUROLAN @Neur0lan
219 Followers 9 Following Launch brands, tokens & AI agents on @solana. Powered by $OLAN. Stat Early
Billz @MerChain_io
38 Followers 40 Following ⚡ Pay your bills & rent in crypto 🤖 AI analyzes your invoice & prepares your payment 📄 Instant PDF proof 🔗 https://t.co/8WWYPUe5Ox
Godisrupt @go_disrupt
2K Followers 4K Following 🏡 Helper at @SuperteamFRANCE | 🌐 @two_third_io | 👨🍳 @marathonbill | NFA — my tweets reflect my own memecoiner views only 💯🧠
WeSplit @wesplit_io
82 Followers 87 Following Split everything. Share crypto. Stay friends.Currently building for @colosseum hackathon
Germán Delbianco @knayawp
728 Followers 793 Following Computer arsonist. Tries to reason with block thingies @trilitech ex @labosnomades @IRIF_Paris @IMDEA_Software @lccrosario (opinions are entirely my own)
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Guillaume Claret 🐻... @guillaumeclaret
510 Followers 666 Following PhD, Founder/Security researcher at Formal Land Formal verification for Web3. Solitity/Rust/ZK Discuss: https://t.co/nnHMLuXje9
NASA @NASA
88.0M Followers 158 Following Official NASA account. Exploring the universe, advancing science, and inspiring the next generation of explorers. Verification: https://t.co/8nok3NP4PWTrends for United States
479 B posts
33,5 B posts
45 B posts
90,6 B posts
7.540 posts
38,6 B posts
3.578 posts
27,6 B posts
2.765 posts
93,3 B posts
1.205 posts
59,5 B posts
102 B posts
3.843 posts
18,3 B posts
24,6 B posts
210 B posts
41,2 B posts
1.166 posts
10,1 B posts
You might like
Elon Musk
@elonmusk
226.9M Followers
Barack Obama
@BarackObama
130.0M Followers
Cristiano Ronaldo
@Cristiano
115.2M Followers
Donald J. Trump
@realDonaldTrump
109.5M Followers
Justin Bieber
@justinbieber
107.8M Followers
Rihanna
@rihanna
106.9M Followers
Taylor Swift
@taylorswift13
92.9M Followers
NASA
@NASA
88.0M Followers
Lady Gaga
@ladygaga
81.0M Followers
YouTube
@YouTube
78.4M Followers
Kim Kardashian
@KimKardashian
74.0M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.4M Followers
Virat Kohli
@imVkohli
67.8M Followers
Bill Gates
@BillGates
66.3M Followers
Selena Gomez
@selenagomez
64.5M Followers
CNN Breaking News
@cnnbrk
63.6M Followers
CNN
@CNN
63.6M Followers
Neymar Jr
@neymarjr
63.6M Followers
PMO India
@PMOIndia
59.1M Followers