{"name":"lean-agentic","vers":"0.1.0","deps":[],"cksum":"d3b6dcd7e59353c45bde9490cac01423f16eb535da84f3be277c08087842778b","features":{"default":[],"serde":[]},"yanked":false,"pubtime":"2025-10-25T14:55:49Z"}