Smart contract decompiler that uses symbolic execution

The ultimate EVM compatible smart contract analysis tool

Hey HN! My name's Nadav Hollander, and I'm the Founder of Dharma. Dharma is building an open-source library that makes it really easy to programatically borrow and lend cryptocurrencies using smart contracts on the Ethereum blockchain. Today we're launching our Alpha Testnet release -- a command line tool that allows you to 1. Access a line of cryptocurrency credit from the command line in under 5 minutes 2. Easily build a bot that auto-invests in loans under hyper-customizable, programmable criteria Check it out: https://github.com/dharmaprotocol/dharma-cli Why I Think…

Hi HN, I'm excited to share the latest release of EVMole, a smart contract analysis tool for Ethereum (works directly with bytecode - verified contracts are not required). In version 0.7.1, I've added an advanced Control Flow Graph Reconstruction feature that, even though benchmarks are still coming, already outperforms every existing solution in both accuracy and speed. In addition to the new CFG capabilities, EVMole continues to offer function selector, argument, state mutability, and storage layout analysis. Open-source libraries are available in Rust, Python, and JavaScript. Online Demo:…

Smart contract development accessible to everyone

Hey HN, we’re building an open specification that lets agents discover and invoke APIs with natural language, built on the OpenAPI standard. agents.json clearly defines the contract between LLMs and API as a standard that's open, observable, and replicable. Here’s a walkthrough of how it works: https://youtu.be/kby2Wdt2Dtk?si=59xGCDy48Zzwr7ND. There’s 2 parts to this: 1. An agents.json file describes how to link API calls together into outcome-based tools for LLMs. This file sits alongside an OpenAPI file. 2. The agents.json SDK loads agents.json files as tools for an LLM that…