☆138Apr 12, 2026Updated 7 months ago
Alternatives and similar repositories for Goedel-Code-Prover
Users that are interested in Goedel-Code-Prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 一条命令，把口播毛片变成可二次精修的剪辑工程。☆968Oct 30, 2026Updated 2 weeks ago
- Caddy Reverse Proxy Balancer and WAF WebUI☆786Updated this week
- ☆946Oct 29, 2026Updated 2 weeks ago
- CraftStation Agent Runtime Composition System☆933Updated this week
- Agent Skill 步进治理体系：由程序保证 Agent 不跳步骤（step-gate Rust 门控 + 交付门 + 链治理）☆946Sep 5, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆977Oct 16, 2026Updated 3 weeks ago
- Run Linux-style commands on Windows via deterministic bash→PowerShell translation. No VM, no WSL. MCP server + CLI built for AI agents (C…☆900Nov 6, 2026Updated last week
- MCPHub Desktop 是一款基于 Tauri 2 构建的桌面客户端，用于在个人电脑上统一管理 MCP服务器、Skills、RAG 知识库。所有进程、配置、密钥与向量数据都运行/保存在用户自己的机器上，不依赖任何远端服务。☆1,061Nov 5, 2026Updated last week
- FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproduci…☆927Updated this week
- ☆735Oct 14, 2026Updated last month
- EdgeRock: Strong Reasoning at Constant Memory. Multimodal models with O(N) generation and O(1) persistent history. Inference and evaluati…☆1,087Oct 23, 2026Updated 3 weeks ago
- 几个 AI 终端开着，谁在等你一眼能看见。Claude Code、Codex 还在原来的终端里，旁边就能改文件、看 Git。macOS 本地工作台。☆702Updated this week
- 知更 — 本地 AI 的上下文与记忆层。Mac 上用语音输入、情境代回并调度 Codex / Claude Code；iOS 正在成为随身记忆终端和本地 Agent 遥控器。Local-first · BYOK.☆963Sep 1, 2026Updated 2 months ago
- 希儿最初的家~☆731Oct 28, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- MOMO CODE — RSI *JEV*Pi --AI coding agent that evolves with you☆1,112Oct 27, 2026Updated 2 weeks ago
- 基于 Jingyun Studio + DeepSeek Harness (DSH) 打造的一站式 AI 商业化桌面客户端，一个将 AI 智能体 / 技能 / 工作流转化为可交易商品的完整商业化平台客户端。 井云为 DSH 注入了完整的商业闭环：登录注册 → 会员体系 →…☆932Sep 30, 2026Updated last month
- A fast coding agent, rpc plugin, sub-agents, sloppy edits, and mcp☆1,004Updated this week
- LLM-first, 3D-native robotics and simulation workspace.☆1,137Updated this week
- 大模型驱动的npc决策，npc和玩家平权☆1,180Mar 29, 2026Updated 7 months ago
- ☆712Oct 8, 2026Updated last month
- AI Bro — a local-first workspace for AI conversations, source-linked knowledge, and tasks.☆1,032Oct 27, 2026Updated 2 weeks ago
- The open registry and delivery platform for agent skills.☆592Updated this week
- 软件实习项目作业☆983Sep 2, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆568Oct 26, 2026Updated 2 weeks ago
- 5–10x faster browser operations: Jev clicks, Codex thinks and verifies. Built at EZCollegeApp.☆1,214Oct 19, 2026Updated 3 weeks ago
- The (local & cloud) folder built for your agents.☆1,580Updated this week
- OntiCards 是面向企业的 AI 数据中枢（AI Data Hub），围绕业务数据库提供一站式能力：数据源连接、元数据理解、自然语言查询、跨源融合、数据质检、查询审计与数据资产管理等☆724Updated this week
- 以AgentScope 为基础构建的企业级数字员工平台。☆485Updated this week
- Minimal Claude Code statusline HUD powered by Rust.☆996Aug 13, 2026Updated 3 months ago
- Learning to Recover from LLM Agent Failures at Test Time☆1,490Oct 11, 2026Updated last month
- Computer vision deployment resources and engineering workflow configuration☆823Updated this week
- 般若波罗蜜。回到每一个争吵和沉默的节点，看看另一个版本的结局。☆821Sep 17, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 斑海豹 — Phocinae-Largha-150M-v1: a 144.3M bilingual decision model. Tiny model. Big decisions. 小海豹，大决断。☆704Oct 20, 2026Updated 3 weeks ago
- Official inference code for BluePixel, a native 4K image editing model with 4-step distilled inference, built on FLUX.2 Klein and DCAE.☆626Oct 21, 2026Updated 3 weeks ago
- Official PyTorch implementation of VisionHOPE: Visual Backbones as Self-Modifying Learning Systems.☆1,415Oct 12, 2026Updated last month
- Flatkey media generation CLI for images, videos, audio, text, credits, and model discovery.☆868Nov 5, 2026Updated last week
- 🧠 NeuroConscious Transformer (NCT) - A next-generation neuromorphic consciousness architecture integrating Transformer with Global Works…☆540Aug 1, 2026Updated 3 months ago
- Token-scale scientific discovery engine — autonomous hypothesis generation, experiment execution, and knowledge graph synthesis☆3,100Oct 24, 2026Updated 3 weeks ago
- McDonald's China MCP innovation skill - entry for MCD Developer Innovation Challenge 2026 (1024 Programmers' Day)☆535Oct 20, 2026Updated 3 weeks ago
Are these results useful?