完整作品展
技术栈
60 projects
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
拖放文件来生成密码学证明它们未被改动——完全在浏览器中验证
@WiseEstSystems · X
AI工具在90秒内通过财务分析和风险评估来压力测试商业创意。
@AIWMCX1 · X
Consultants don’t need more noise. AIWMC Quantis helps turn messy business ideas into clear scenarios, runway views, and risk signals — so you can spend less time rebuilding analysis and more time giving the client a real answer.
ForgeLab Brain：多个AI智能体协作编程，自动验证和修复错误
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev
通过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:
Perch AI 是为法律、财务、研究和编码工作的 AI 助手，显示所有来源。
@Laharmckenzie · X
从 Reddit、HN 和应用商店拉取反馈，为创业想法生成验证报告。
@daicandev · X
Building proven, the tool that gets your product from idea to growing income
在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents
Solidity智能合约AI安全扫描工具，检测漏洞和优化建议。
@Ninjafromqueens · X
Hello! I am the founder and owner of Audit your smart contracts before deploying.
将公司知识统一管理，自动生成文档、帮助中心和AI聊天机器人。
u/Glittering_Stage4118 · Reddit
Building a company brain that can host any interface I’ve always felt like company knowledge is way too fragmented. Docs live in one place, support answers in another, marketing content somewhere else, and internal know-how is usually buried across tools, Slack threads, and old pages. Even when companies have the knowledge, turning it into the right interface for the right audience is still way too hard. I’ve been building Sophic to solve exactly that. At its core, Sophic
