Francesco Piccoli
@francescop
Today we release ALMX-1.5, our new AI model, and the first version of the Web3 Security Atlas (W3SA), an open-source initiative led by Almanax aimed at improving Web3 security with AI. ALMX-1.5 is designed to navigate large scale and complex repositories, to perform high effort reasoning across multi-file execution paths, while empowered with the ability to consult the project documentation and navigate the internet. It supports most commonly used programming languages. This first W3SA release includes a benchmarking suite for blockchain code vulnerabilities. It initially focuses on EVM smart contracts written in Solidity and Solana programs written in Rust, with a second launch planned for Stellar and Aptos smart contracts.
2 replies
2 recasts
6 reactions
Patrick | Megapot
@pl
Huge! Nice improvements across the board
1 reply
0 recast
1 reaction
Francesco Piccoli
@francescop
🙏🏼
0 reply
0 recast
1 reaction