☆110May 18, 2026Updated this week
Alternatives and similar repositories for ProofFlow-v0.1
Users that are interested in ProofFlow-v0.1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 一个迭代器，可以迭代任何项目，包括他自己☆128May 12, 2026Updated last week
- Moor is a local MCP control plane for Mac. It gives every coding agent one safe, observable, configurable gateway to your MCP servers.☆101May 11, 2026Updated last week
- A native Python agent CLI built on DeepAgents CLI, featuring an independent memory Agent that captures learnings after each task and deli…☆306Updated this week
- WHU-CS-Courses-Notes☆134Mar 22, 2026Updated last month
- ☆80Mar 15, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Local web service powered by JobSpy for job scraping, Codex for resume tuning, and unified application workflow.☆102May 5, 2026Updated last week
- FinAgent☆101May 6, 2026Updated last week
- ☆107Updated this week
- Extract Med Data and Construct KG , Provide Q&A☆103Apr 16, 2025Updated last year
- Responses API ↔ Chat Completions API 双向代理，让任何兼容 Chat Completions 的后端都能驱动 Codex 等需要 Responses API 的工具，零客户端改动。支持Web_search功能（采用模拟方式，需独立设置）☆136May 4, 2026Updated 2 weeks ago
- 一个写接口文档的AI Agent。支持使用Vibe coding 的方式，编写接口文档，同时自带友好的文档查看工具与接口Mock工具☆150Updated this week
- TeamClaw, AI Agent Desktop Workspace☆224May 12, 2026Updated last week
- Claude Code 开发速查手册 ｜ 中文速查表☆102May 12, 2026Updated last week
- ☆102Mar 21, 2026Updated last month
- 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.
- Gaster Code desktop downloads and updater metadata for G-Master API users☆104Updated this week
- Based on your current lab repository, design your experiement panel.☆101May 6, 2026Updated last week
- Tinybot is a lightweight personal AI Agent that is constantly evolving☆179Updated this week
- This project designs an Android remote control framework based on customized Accessibility Services and HTTP/HTTPS communication, enablin…☆37Feb 21, 2026Updated 2 months ago
- One-stop quant-trading AI agent — research · strategy · backtest · paper trade from one prompt. Works in Claude Code, Cursor, and 20+ AI …☆104Updated this week
- ☆101Feb 7, 2026Updated 3 months ago
- Enterprise-ready Spring AI platform for RAG, tool calling, async ingestion, JWT/RBAC security, and observability.☆207May 12, 2026Updated last week
- ☆81Apr 21, 2026Updated 3 weeks ago
- The evaluation code code for UWLM dataset.☆105May 8, 2026Updated last week
- 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.
- Self-deployed auth for Cloudflare Workers and D1: email/password login, magic links, verification, password reset, secure sessions, CLI s…☆131Updated this week
- ☆512Updated this week
- 【小红书2万人看过的——博主蒸馏器】你研究了 N 个爆款博主，还是说不清任何一个的操作系统。输入小红书博主名，直接蒸馏 TA 的认知和内容打法，装进你的 AI。Distill any blogger's mind into your AI.☆219Updated this week
- an LLM-native world and civilization☆244May 8, 2026Updated last week
- ☆108Updated this week
- Free Kagi Search MCP server — access search and summarizer via session tokens, no API key needed. Works with Claude Desktop, Cursor, Wind…☆133May 3, 2026Updated 2 weeks ago
- nano-vllm是开源的一个gpu推理项目，基于开源版本弄的一个ascend npu版本推理小demo，旨在帮助初学者了解推理的整体流程，区别于vllm，nano-vllm体量更小，麻雀虽小五脏俱全，更有助于初学者学习。☆150May 4, 2026Updated 2 weeks ago
- Sven Family is an AI-native product suite that connects creation, collaboration, publishing, and operations into one integrated platform.☆401Updated this week
- Hermes-native AIOps agent for evidence-driven incident response, approval-gated remediation, and runbook learning.☆630May 1, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Terminal-first AI workspace with coding agents, workflows and built-in web UI.☆222Updated this week
- Auto Research with UI. Autonomous Generalist Scientist / AI Scientist / Agent Scientist / Robot Scientist, across all Scientific Fields.☆194Apr 27, 2026Updated 3 weeks ago
- ☆165Apr 27, 2026Updated 3 weeks ago
- Crowdsource EGO robot data capture, contribution, and public-safe edge-host bring-up.☆202May 8, 2026Updated last week
- Description: A Windows floating scratchpad for AI coding workflows — collect text, screenshots, and files with Ctrl+V.☆102Apr 27, 2026Updated 3 weeks ago
- 🔥 An autonomous AI agent that runs your deep learning experiments 24/7 while you sleep. Zero-cost monitoring, Leader-Worker architecture…☆823Apr 22, 2026Updated 3 weeks ago
- AI-friendly semantic HTML architecture for better human-agent collaboration.Replacing long Markdown with stable, interactive artifacts.☆235Updated this week