Show HN: Llmll – AI agents fill typed holes, an SMT solver rejects wrong fills

Llmll employs AI agents to fill typed holes while an SMT solver validates the correctness, speeding up development and reducing bugs. Start by integrating it in