clem 🤗 (@ClementDelangue): We turned @OpenAI's math problems into open-source RL environments on @huggingface! Early and rough (the verifier only accepts the exact original formalization, so an equivalent proof can still score

Veda is a Rust-based operating system with built-in AI agent capabilities that integrates directly with applications rather than relying on screen scraping.

Talorys is a free, open-source personal AI agent that runs entirely within your Cloudflare account with chat, memory, tasks, and automation features.

Edi Life OS is a self-hosted life dashboard with built-in MCP server for AI assistants like Claude to manage habits, goals, and finances.

A developer used Claude Opus 5.5 to successfully port the TypeScript compiler, type checker, and LSP to Rust, achieving 100% compatibility in real-world testing for under $25k.

Open-source macOS CLI tool that lets AI agents visually guide users by drawing arrows and text on screen for human-computer interaction scenarios.