genpark-frontier-symbolic-latent-reasoning-architecture-skill

源码

Neuro-symbolic reasoning architecture with SMT theorem prover (Thinking Machines Lab style)

⭐ 8开发工具Python仓库 ↗更新于 2026-08-25收录于 2026-10-04

安装配置

查看源码仓库 →

相关服务器

n8n⭐ 206.6k · 开发工具gemini-cli⭐ 107.2k · 开发工具awesome-mcp-servers⭐ 95.8k · 开发工具headroom⭐ 74.4k · 开发工具reactive-resume⭐ 43.8k · 开发工具serena⭐ 30k · 开发工具