by atomadictech
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.