完整作品展
技术栈
15 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
通过AI评估验证知识并获得Academission认证。
@syprayt · X
We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:
在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents
可视化语言模型在各层回答前的思考内容。
ada1981 · HN
I built a web tool to see and edit what an AI thinks before it answers
Mailthentic 验证邮件地址和检查域名，改善投递率。
@mailthentic · X
用英文描述加密交易策略来回测它们。
@torquant · X
building Torquant. you build and backtest trading/investment strategies using only natural languange
检测API中转站输出是否与官方100%一致
@nodeloc_cc · X
🌈 7月，你好，MODELOC上线算力池。 MODELOC自上线以来，已检测2000余次，覆盖600+中转站，为众多AI用户提供的使用参考。 MODELOC近期进行了改版，上线了算力池及市场。 加入算力池 查看帖子： 用 MODELOC 便宜地调各家大模型：一次讲清它的价格体系
提交你的创意，获得34+个AI代理的验证反馈。
@marcus_b1973 · X
Honest AI panel validates your idea before you build it.
Stateful AI 伙伴，从交互中学习，可自主完成任务或与你一起协作。
@cyrus_zad · X
用一行代码部署强大的 AI 模型，享受业界最具竞争力的 GPU 价格。
Synexa AI — 一行代码部署 AI 模型 (Replicate 50% 低价平替)，Synexa 是运行无服务器 AI API 最具性价比的解决方案，提供业界最具竞争力的 A100 GPU 价格，相比其他服务商可节省高达 62% 的 AI 算力成本 - [更多介绍](https://github.com/1c7/chinese-independent-developer/issues/47
创建模拟投资组合，进行策略回测和AI市场分析。
策引 — 全球市场技术分析工具，可以创建多个市场的模拟组合并做深度回测分析。同时正在开发 AI Agent 功能，可帮助用户使用大模型自动生成基于不同交易策略的模拟组合。
