Skills for Real Engineers. Straight from my .agents directory.

Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.

This is an open source project to build both the software and the hardware blueprints/build guide (incl. a kit) for public lockers to store and/or share items.

Program performs social network analysis on more than 200 Twitter users.

An experimental blender-based rapid iterative visualization system

Loop Habit Tracker, a mobile app for creating and maintaining long-term positive habits

A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)

Proposals for new districts to be built by the district0x Team.