nowfound

Alternatives

Products that do what Smart contract decompiler that uses symbolic execution does

Hi All, I released an EVM/Solidity decompiler recently, here: http://www.eveem.org/ Since it uses symbolic execution underneath, the results are quite awesome. There is also an api that delivers a .json / middle language representation of every contract here: http://eveem.org/code/{{address}}.json The plan is to open-source it as soon as I clean up the code a bit. Spent the last two month crunch-time to get it delivered from scratch :)

  1. 1

    The ultimate EVM compatible smart contract analysis tool

    2023

  2. 2DP

    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…

    2017

  3. 3

    Smart contract development accessible to everyone

    2022

  4. 4VJ
  5. 5ER

    I built a MCP server using the Typescript SDK that wraps around the JSON RPC methods for EVM Blockchains. Without any extra documentation the LLM is able to interact with the EVM blockchain even through a complex series of requests. To get going, just add the following command to your MCP client of choice (e.g. Cursor) - npx -y ethereum-rpc-mpc [Optional: RPC_URL] It works out of the box with any EVM chain. Example usage with Claude: "What's the ETH balance of 0x742d35Cc6634C0532925a3b844Bc454e4438f44e?" "Is 0x6B175474E89094C44Da98b954EedeAC495271d0F a smart contract?" "Is…

    2025 · github.com

  6. 6FW

    Hi HN! I recently open-sourced a project I’ve been working on over my winter break: a Solidity web framework you can use to write web apps in Solidity (and more generally, a proof-of-concept implementation of an arbitrary network protocol over Ethereum). Here’s a demo web app on the Optimism Goerli testnet: http://simple.fallback.natecation.xyz/ Running this Solidity code: https://github.com/nathanhleung/fallback/blob/main/src/examp... There’s a lightweight TCP server script that’s listening on the demo app domain that forwards requests…

    2022 · github.com

  7. 7PA
  8. 8AO

    I mentioned this here a week or so back and there was some interest, so I've been tidying things and making the docs available. Announcement: http://isti.bitbucket.org/2013/06/21/orm-for-c-2.html Docs (start here!): https://bitbucket.org/isti/c-orm/wiki/Home Source: https://bitbucket.org/isti/c-orm/src Example app: https://bitbucket.org/isti/c-orm/wiki/SimplePhonebook It's very much beta (not used in any production code yet), so please take care. But the tests work and it's a…

    2013

  9. 9AE
  10. 10IB

    After fine-tuning GPT for a personal project, I realized how tedious it is to write plain text in a massive JSON file. That's why I built this app for my own use, and I want to see if others could benefit from a tool like this as well ;)

    2024 · finetuna-ui.com

  11. 11WB

    Over the past few months, as we scaled our internal AI Agents, we hit a dead end: Running LLM-generated arbitrary code in Docker is basically running naked on security due to container escape risks. But using full traditional VMs takes minutes to boot and eats too much memory to support high-density concurrency. We loved the developer experience of SaaS sandboxes on the market, but they are closed-source, expensive, and have too high a barrier to entry for self-hosting. So, our team decided to build our own. After months of grinding, using RustVMM and KVM, we built a blazing-fast,…

    Apr 2026 · github.com

  12. 12SC

    2016 · dev.blockcypher.com

  13. 13VI

    Hi HN Community, We have built the valmi.io open-source reverse-ETL platform. You can quickly check out a live demo sync by following the link on the GitHub page or at the bottom. Please try it out. You can also easily deploy it locally or schedule a run on the demo website. We are seeking feedback on the product. We have outlined a variety of use cases valmi.io currently supports on the blog. Currently, the engine supports 13+ connectors. The connectors are built using the airbyte protocol, and dagster is used as the orchestration engine. We will soon provide a detailed architecture…

    2023 · github.com

  14. 14

    “Deploy, verify & manage smart contracts across EVM chains.”

    6d ago · krionex.com

  15. 15BA

    If we want better web3 experiences, developers need better tools. RPC nodes are really good at executing transactions, however they are notoriously cumbersome to set up, and reading large chunks of data is not very efficient: To show a list of transactions and receipts, nodes have to re-execute smart contract code on entire blocks. For every read call. Not great at scale. Which is why everyone is building ETLs to move data from the chain into their own database. This GraphQL API is our first step in allowing developers to spend more time on building product, rather than ETL infrastructure.

    2022 · basement.dev

  16. 16OS

    Hey Everyone! Avi and I (in the current YC S25 Batch) noticed how fragmented crypto compliance is with rules changing constantly, vary by region, and force developers and legal teams into a scramble. So we hacked together a prototype framework that generates a “guardrail” smart contract which: - Hooks into your KYC provider - Enforces rules defined a simple compliance.yaml file - Automatically blocks users you can't legally serve When regulations shift (new blocked country, updated KYC threshold, etc.), just update your YAML and redeploy with no smart contract rewrites. Audit prep also…

    2025 · github.com

  17. 17SC

    2018 · blockchain-ctf.securityinnovation.com

  18. 18AP

    Hello! I wanted A2A support for an Elixir project and thought about how I wanted to use it in my app, and less about the protocol. This became a GenServer-like protocol for an agent. The package has basic support and complies to the A2A TCK suite. Most of the project is LLM-coded, but with detailed planning and review at each step. Less than a week from initial idea to first hex.pm release - all coded on the side of other work. Interesting times where such a thing is possible. Just after publishing I did find an existing Elixir package implementing A2A (not sure how I could miss it at…

    Mar 2026 · github.com

  19. 19AA

    Hey HN! I really like local apps for their simplicity and privacy and hate paying Saas bills and I wanted a way to start automating my life with AI so I started building Anything. Anything is built on Tauri so the front end is React and the "backend" is Rust. It's 100% local & 100% doesn't ask you to spin up docker to use. Another core goal of the app is to get away from "package bloat" you see in other general purpose AI oss projects where they have a package.json that is 300 lines long ( more on that later. ) Oh btw I suck at Rust! I learned Rust while building this so the code is _not…

    2024 · github.com

  20. 20IB

    Hi HN, I’m the creator of Cordum. I’ve been working in DevOps and infrastructure for years (currently in the fintech/security space), and as I started playing with AI agents, I noticed a scary pattern. Most "safety" mechanisms rely on system prompts ("Please don't do X") or flimsy Python logic inside the agent itself. If we treat agents as autonomous employees, giving them root access and hoping they listen to instructions felt insane to me. I wanted a way to enforce hard constraints that the LLM cannot override, no matter how "jailbroken" it gets. So I built Cordum. It’s an open-source…

    Jan 2026 · github.com

  21. 21PR

    Hi HN, While building RAG agents, I noticed a lot of token budget was wasted on formatting overhead (HTML tags, JSON structure, whitespace). Existing solutions felt too heavy (often requiring torch&#x2F;transformers), so I wrote this lightweight, zero-dependency library to solve it. It includes strategies for context packing, PII redaction, and tool output compression. Benchmarks show it can save ~15% of tokens with negligible latency overhead (<0.5ms). Happy to answer any questions!

    Dec 2025 · github.com

  22. 22IB

    Link: https:&#x2F;&#x2F;docs.trysoma.ai&#x2F; For the past ~9 months I’ve been building Soma, an open-source AI agent & workflow runtime written in Rust, with a TypeScript SDK (Python coming soon). It’s not a framework; it’s meant to sit underneath whatever agent&#x2F;tooling code you already write (Vercel AI SDK, LangChain, custom code, etc.). It provides features around your framework + a better DX for building agents. I’ve tried to take a Next.JS model: open-source, good DX, self-deployable. I originally set out to build a vertical back-office&#x2F;operations product for SMEs. I needed a…

    Dec 2025 · docs.trysoma.ai

  23. 23GA

    Built on top of templUI - https:&#x2F;&#x2F;templui.io - (OSS), which I also created. goilerplate handles auth, subscriptions, docs, etc. SQLite by default, Postgres optional. Polar integration for payments. Feedback welcome!

    Nov 2025 · goilerplate.com

  24. 24IM

    Really appreciate any feedback! :)

    2025 · itz.am

Ranked by how close each launch is in meaning, then by votes. Refine with a description →