Certora ✓

@Certora · joined 01 Feb 2019

Your End-To-End Security Partner. Manual Audits, Formal Verification, and Protocol Design Review. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.

12 101Followers

338Following

3 017Posts total

56.3KViews on collected posts

Against accounts of the same size

12 posts from the last 90 days, next to the 10K–100K follower range. shown widely, but few of those viewers react.

Median views980this account1 005median for 10K–100K

Reach, %8.10%this account3.31%median for 10K–100K

Engagement, %0.94%this account2.01%median for 10K–100K

Metric	This account	Median for 10K–100K	Ratio
Median views per post	980	1 005	0.98×
Reach (views ÷ followers)	8.10%	3.31%	2.45×
Engagement rate	0.94%	2.01%	0.47×

Others in this range → Compare with another account → How these benchmarks are built →

Growth & engagement

How the posts we collected actually performed: views and reaction rate post by post, what the audience did with them, and where the follower count goes.

Views per post

43.6K15 Jul

1.2K

986

901

830

974

1.1K

606

9371 Sep

9632 Sep

2.8K3 Sep

1.4K4 Sep

Last 12 collected posts, oldest on the left. The scale is logarithmic: one post can outrun the rest a hundred times over.

Engagement rate per post

0.54%15 Jul

0.96%

0.91%

1.00%

1.20%

0.92%

1.52%

1.49%

0.85%1 Sep

0.73%2 Sep

0.43%3 Sep

1.47%4 Sep

Reactions — likes, reposts, replies and quotes — divided by views. Median for 10K–100K accounts is 2.01%.

What the audience does

Likes62.7%274 in total

Reposts7.1%31 in total

Replies7.1%31 in total

Quotes5.0%22 in total

Bookmarks18.1%79 in total

Share of every reaction we collected for this account. Replies mean argument, reposts mean endorsement, bookmarks mean the post was worth keeping.

Followers by day

4 Sep

Daily snapshots since 04 Sep 2026; the dashed line is the starting count.

Latest posts

Certora is growing our engineering team, and we’re hiring! We’re looking for a Senior Software Engineer - Cloud & Data to help build and scale the systems behind Certora. We’re a security company focused on making mission-critical software safer by combining formal https:// 1.4K views · 17 likes · 2 reposts · 2 replies 04 Sep 2026 · Open on X →

Our industry has been obsessed with using AI for security; the incident with Hugging Face and OpenAI shows that we need to flip our perspective: we desperately need security for AI. Can we prove that your agents will never “accidentally” hack your competitors? 2.8K views · 9 likes · 0 reposts · 2 replies 03 Sep 2026 · Open on X →

How does AutoProver work? AutoProver starts by inferring intent from your code, design docs, or threat models. A design document helps, but isn’t required. From code and plain-language intent to formal verification, without requiring prior formal verification experience 🤩 See 963 views · 6 likes · 0 reposts · 1 replies 02 Sep 2026 · Open on X →

Big day ahead for @umia_finance. Proud to have supported the team on the security side ahead of the token launch. Congrats to everyone who helped bring Umia to this milestone 🫡 937 views · 7 likes · 1 reposts · 0 replies 01 Sep 2026 · Open on X →

@Certora Congrats on the launch 606 views · 7 likes · 1 reposts · 1 replies 15 Jul 2026 · Open on X →

AutoProver Beta is live today for Solidity, with Rust coming soon. Try it at: https://t.co/3lXdqnAWgm Read more at: https://t.co/38lC06zkO4 1.1K views · 15 likes · 0 reposts · 1 replies 15 Jul 2026 · Open on X →

Software development is changing quickly and formal verification needs to keep up. AutoProver makes formal verification accessible to developers who aren't experts in it. 974 views · 8 likes · 0 reposts · 1 replies 15 Jul 2026 · Open on X →

After each run, you get a report with: • Implementation bugs • Potential design issues • The status of every generated property, test, and proof You can review the results and provide feedback, which will improve your future runs. 830 views · 9 likes · 0 reposts · 1 replies 15 Jul 2026 · Open on X →

AutoProver runs the generated tests and proofs, investigates failures, and explains the results. It also checks for bugs outside the inferred specifications, drawing on patterns learned from years of formal verification and audit work. 901 views · 8 likes · 0 reposts · 1 replies 15 Jul 2026 · Open on X →

Those specifications become tests and formal verification rules. You can review, commit, and maintain those assets alongside your codebase. 986 views · 8 likes · 0 reposts · 1 replies 15 Jul 2026 · Open on X →

AutoProver starts with your repository, using documentation and design docs to better understand your system. From there, it generates formal specifications describing how your code is supposed to behave. 1.2K views · 11 likes · 0 reposts · 1 replies 15 Jul 2026 · Open on X →

Writing formal specifications has always been the bottleneck in formal verification. Today we're launching AutoProver, an agentic formal verification system that reads your code, generates specifications, and verifies them. 🧵 https://t.co/qHZsJSoLE0 43.6K views · 169 likes · 27 reposts · 19 replies 15 Jul 2026 · Open on X →