Pump logomark
Home
Feed
GO
Communities
Callouts
Competition
Mayhem
Live
Support
Terminal
Pump logomark
Playful 3D scene of a smiling green character running with meme-inspired figures like a Shiba Inu and hippo across a sunny grassy hill

Welcome to Pump.fun!

Pump lets anyone create coins, giving everyone equal access to buy and sell from the start. Prices can move quickly, so trade carefully.

By clicking this button, you agree to the Terms and Conditions, Privacy Policy, and certify that you are over 18 years old.

Pump logomark
  • Home
  • Feed
  • GO
  • Communities
  • Callouts
  • NewCompetition
  • Mayhem
  • Live
  • Terminal
  • $PUMP
Trade faster. Pump is better on mobile.
Pump logomark
Signed in

Resources

  • PumpSwap
  • Fees
  • Revenue
  • Tech updates

Legal

  • Privacy policy
  • Terms of service
  • Tokenized agent disclaimer
  • Livestream policy
  • DMCA policy
  • Trademark guidelines
  • Charity coins
  • Go.fun terms
Top coinsDiscover usersBlog

© Pump.fun 2026

© Pump.fun 2026

Top coinsDiscover usersBlog
Coin image for 7Fq8hknFM2kjKafqrnq5YHWfiwp6V7QS7CBM5PTcpump
QEDGen logo

QEDGen

$QEDGen

Solana
Ao9D9x2mo ago

Write what your Solana program must guarantee in a .qedspec file. QEDGen validates the spec, finds bugs your tests miss, then generates the verification artifacts and implementation scaffold needed to keep them fixed: property tests, Kani harnesses, Lean 4 proofs, agent-fill program scaffolds, and CI workflows — all from a single source of truth.

NostaIgicGarethNostaIgicG...NostaIgicGareth
github.comgithub.comgithub.com
View on Terminal
Vol 24h
Price
5m
1h
6h

$QEDGen community

Loading recent activity…

Visit community
Report
Market cap.
$2.19K