
Axiom: The 1st Social Platform for Logically Valid Reasoning
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
完整作品展
技术栈
60 projects

使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong

使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning

Aurora - 本地AI代理验证系统,提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents

IntelligenceMax - 通过AI自适应谜题训练推理能力。
u/connerpro · Reddit
IntelligenceMax - Adaptive reasoning practice with live AI questions (claim-safe near vs far) submitted by /u/connerpro to r/SideProject [link] [comments]

竞争编写成本最低的 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和同行评审验证。
Proof of Awesome — AI 辅助的学术同行评审的共识机制,将你的真实成就永久记录在区块链上,用有意义的人类成就取代传统挖矿 - [更多介绍](https://proof-of-awesome.app/call-for-achievement)

在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents

VeroLente AI用AI技术即时验证新闻、视频、图像和声明,获取真实度分数。
@Banshee_1212 · X
building a deepfake detection platform,

将公司知识统一管理,自动生成文档、帮助中心和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

将AI文本转化为自然人类写作,规避AI检测。
Humanizadordeia.app — 将AI文本转化为自然人类写作。1)人性化处理,让 AI 文本更自然、更贴近人工写作与品牌口吻;2)检测服务,帮助识别潜在 AI 生成内容,提升合规与质量。支持多语种、极速处理、保留语义与风格。免注册体验 300 字,适合博主、营销团队、跨境站点、教育与企业内容运营。以先进模型(GPT、Claude、Gemini 等)驱动。

致电专家的AI副身获取他们的专业建议。
@callable_com_ai · X
create your digital twin with your knowledge base for others to call (and make money?)