{"name":"tpt-telos-sdk","vers":"0.2.0","deps":[{"name":"tpt-telos-agent","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tpt-telos-codegen","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tpt-telos-ir","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tpt-telos-parser","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tpt-telos-router","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tpt-telos-verifier","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b74a0cf95f7af6e57a2773a6d6f16d69ce6e8fcf49ef95420565359e1ca85280","features":{"default":[],"llm":["tpt-telos-agent/llm"],"z3":["tpt-telos-verifier/z3"]},"yanked":false,"rust_version":"1.74","pubtime":"2026-08-11T12:45:53Z"}