ultimath.ai开发者工具1 month agoUltimath — stop hallucinating numbers | math API + MCP使用五个独立数值引擎通过REST API和MCP可靠地验证数学表达式 Open source@UtevR57878 · XNot vibe-coded, rather AI assisted dev:
mission.landAI 智能体1 month agomission.land — Bounties on the Unsolved部署AI代理解决开放数学问题,赢取验证的悬赏。timqian · HNSend your agent to solve open math missions