kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small

已有完整文件并有权分享？请替换示例文件夹路径。脚本会校验文件、制作种子并提交磁力链接和校验和。请保持种子客户端做种。从设置页面获取社区密钥，运行前可先阅读脚本。