Mohd Farman

Saving protocols from expensive mistakes.

[Mohd Farman @farman1094_]

@Aasif1552 @immunefi Congratulation 🥳

[Mitchell Amador @MitchellAmador]

https://t.co/rsFl9p3ntY

[Mohd Farman @farman1094_]

@VittoStack 🫡

[Mohd Farman @farman1094_]

@0xfrsmln @immunefi Congrats 🔥

[Mohd Farman @farman1094_]

@0xapple_ 😂

[NoemaLabs | Smart Contract Security @NoemaLabs]

Today we're finally dropping v1.0 of AutoCertora! 🚀

It's our open-source CLI tool that uses AI to autonomously draft @Certora formal verification suites for your Solidity projects. Just point it at your repo and it outputs the CVL specs and configs.

What it does out of the box:
• Built-in extensive CVL knowledge & best practices
• Built-in protocol-specific invariant knowledge
• AI code-analysis to discover codebase-specific custom invariants
• Automatic AI-driven compile repair
• Local certora validation before cloud submission ✅

It’s very much an early version, so expect a few bugs! We're putting it out there to get community feedback. Take it for a spin and drop an issue if something breaks!

Try it out:

pipx install autocertora

Repo:

https://t.co/ve4ZXntfVW

[Mohd Farman @farman1094_]

Amazing opportunity for builders 🔒

[NoemaLabs | Smart Contract Security @NoemaLabs]

🚨🚨 Free Audit Alert 🚨🚨

We’re opening 1 free smart contract audit slot for a promising protocol.

Requirements:

• Solidity codebase
• Less than 1000 NSLOC
• Team with a history of shipping products
• Credible backing / ecosystem presence (good to have)

How to apply:

Visit https://t.co/hLne5dcTyl, message us on Telegram at @NoemaLabs, or DM us here.

Applications close in 3 days.

[Aamir | NoemaLabs @ua1552]

Our site is live and we’re opening early relationships through our referral program.

If you know teams building in DeFi/infrastructure that need security reviews, feel free to connect us and get paid for successful referrals.

More info available on the site.

[Shieldify Security @ShieldifySec]

🚨PSA for anyone considering working with these guys, they don't pay for their audits. We've been chasing the invoice for months!

Repost, so no one else wastes their time.

@MuratLite @Fast_Protocol @primev_xyz

[Mohd Farman @farman1094_]

@ua1552 @Aasif1552 @NoemaLabs Big step brother 🔥
Congrats on launching @NoemaLabs ⚡️

[Mohd Farman @farman1094_]

Excited to see one of the strongest auditors I know launch a security-focused firm focused on deep manual review and AI-assisted security analysis. 🔒

If you’re building in Web3 and looking for quality security reviews or audits, @NoemaLabs ⚡️is definitely worth reaching out to.

[NoemaLabs | Smart Contract Security @NoemaLabs]

Security in Web3 requires more than automated tooling alone.

At @NoemaLabs , we focus on deep manual review, protocol understanding, and smart contract security research to help growing protocols build more securely.

[Aamir | NoemaLabs @ua1552]

Today, I’ve joined forces with my brother @Aasif1552 to start @NoemaLabs

Over the past few months, Web3 has seen millions lost to exploits, with attacks becoming increasingly amplified by AI and advanced tooling.

https://t.co/OXNdx9C4cQ

[Mohd Farman @farman1094_]

@MaxZuvex Amazing result

[Mohd Farman @farman1094_]

@mullaneym6 @octane_security @giovignone I got reply, thanks!

[Mohd Farman @farman1094_]

@Aasif1552 @immunefi @FolksFinance Congratulation bhai 🥳

[Mohd Farman @farman1094_]

@vedantutage03 Guide

[Mohd Farman @farman1094_]

@Pro___King1 @QuillAudits_AI Congratulation!

[Mohd Farman @farman1094_]

@0xfrsmln @immunefi @AlchemixFi Crazy results 🔥🔥, keeep them comingg!!

[Mohd Farman @farman1094_]

@xKeywordx Can you check dm!