返回首页
最新
嗨，HN，我制作这个的想法是许多人对 TypeScript 和一阶逻辑都有一定的了解，因此将它们结合起来可以很好地引入自动定理证明。我的计算机科学大一逻辑课缺乏一个互动的代码环境。
这个项目完全基于网页，你可以尝试一下互动教程 <a href="https://peanoscript.mjgrzymek.com/tutorial" rel="nofollow">https://peanoscript.mjgrzymek.com/tutorial</a>。所有内容都用自己的术语进行解释，所以如果你只懂编程，应该能看懂。
如果你已经了解这些内容并想要快速了解，可以查看参考资料 <a href="https://peanoscript.mjgrzymek.com/reference" rel="nofollow">https://peanoscript.mjgrzymek.com/reference</a> 和游乐场 <a href="https://peanoscript.mjgrzymek.com/playground" rel="nofollow">https://peanoscript.mjgrzymek.com/playground</a>。
代码已在 GitHub 上发布 <a href="https://github.com/mjgrzymek/PeanoScript" rel="nofollow">https://github.com/mjgrzymek/PeanoScript</a>。
祝你玩得开心！
*顺序故事MCP服务器*<p>我开发了顺序故事，这是一种模型上下文协议工具，旨在通过叙事结构增强复杂问题的解决能力。通过融入角色、场景和情节等叙事元素，该工具使解决方案比传统的抽象方法更容易记住。<p>顺序故事在顺序思维的基础上增加了叙事元素。它使用户能够创建顺序叙事，随着理解的深入修订组件，并探索替代情节。GitHub: <a href="https://github.com/dhkts1/sequentialStory" rel="nofollow">https://github.com/dhkts1/sequentialStory</a>
我的名字是卡尔，过去大约18个月我一直在开发一个网络应用程序。这个应用旨在成为一种代理/自动化编辑器。目前，它支持40种图像工具，但不久后还会增加文本和视频工具等更多类型。虽然目前的代理能力有限，但这个应用已经能够串联操作、选择和更新工具。
我们的目标是简化用户的任务，同时能够对应用进行手动控制。
这个工具系统的设计使其可以被其他应用使用，并由人工智能进行控制。
这个项目花费的时间远超我的预期，现在我正进入市场推广阶段，但资金即将耗尽。
目前大约有400名免费用户。但由于不确定需要多长时间才能获得足够的付费用户以使项目可持续，我决定向大家寻求帮助。我对更好的销售解决方案持开放态度，或者寻求潜在的合作或投资。甚至可以考虑将技术应用于其他项目或初创公司，以使其受益。
要查看应用，请访问：tools.ceacle.com
如需通过电子邮件联系，请发邮件至 hi-at-carlbrenner.co
谢谢！