AuditHub
Olympix
SecurityTrails
TRONSEC
TrustCheck
Modelence
Lovable
Floot
BASE44
Getting MEAN with MEMEs
Supabase
HTML and CSS: Interactive Projects
Convex.dev
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
Modelence is a no-code app builder that helps you build real, production-ready web apps (not prototypes) with everything you need to go live by default. It lets users build complete web applications with built-in authentication, database, and monitoring - all in one platform. Powered by its own open-source library designed specifically for the AI era, Modelence enables fast, reliable app development without writing a single line of code. Whether you're building internal tools, SaaS products, or MVPs, agents handle the entire development process from start to deployment. Once live, you can easily scale your app and monitor its performance and metrics in real time. Modelence is free to get started and supports the full app lifecycle out of the box.
AuditHub ModelenceNo AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer
AuditHub's answer
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Modelence's answer:
TypeScript and MongoDB as the core stack, built on Modelence's own open-source full-stack framework. The AI App Builder layer handles prompt-to-app generation on top of this foundation.
Modelence's answer:
Compared to Lovable, Replit, or Base44, Modelence gives you production-grade apps (not throwaway prototypes), a fully open-source codebase you can eject and self-host anytime, and a streamlined no-code experience backed by a robust full-stack framework.
Modelence's answer:
Non-technical founders, solo entrepreneurs, and small teams who need to ship real software products quickly - without hiring a dev team or learning to code. Also appeals to technical users who want to accelerate app development with AI while retaining full code access.
Modelence's answer:
Modelence builds real, production-ready apps from prompts - not just prototypes. Unlike other AI app builders, it's powered by an open-source TypeScript/MongoDB framework, so you get full code ownership and no vendor lock-in.
Olympix - Secure your code as it’s written
Lovable - The world's first AI Fullstack Engineer
SecurityTrails - Dive into our data, search now! We offer robust APIs & data services for Security Teams worldwide.
Floot - Build serious apps with AI without getting stuck
TRONSEC - Free TRON security platform: scan wallets for AML & phishing risks, audit TRC-20 approvals & smart contracts, decode transactions before you sign. Read-only, no registration.
BASE44 - The platform for people to turn ideas into working products.