Show HN: Agent-contracts, contract-based LangGraph agents · HackerTrans