Adya 0.1 is a black-box transactional isolation checker that analyzes database transaction histories for isolation anomalies and runs workloads for multiple database systems. It is inspired by Jepsen's Elle and offers a native binary approach without JVM dependencies, allowing for fault injection and validation against expected results. The tool supports various database protocols and encourages user feedback on its API.