Vibe Mathematics —— 多代理数学问题求解与形式化验证框架
☆40Oct 23, 2026Updated this week
Alternatives and similar repositories for Vibe-Mathematics
Users that are interested in Vibe-Mathematics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hash-anchored read/edit/undo_last_edit tools for DeepSeek Harness (dsh), fewer token consumption, lower cost.☆39Updated this week
- UltraMath 数学建模竞赛多 Agent 求解 DSH 插件: 5 角色预设 + 33 篇模型库 + 论文模板/审稿脚本随包 + 进度可视化☆36Aug 24, 2026Updated last month
- ☆49Oct 13, 2026Updated last week
- DeepSeek Harness desktop shell — Tauri v2, tray + native webchat + task-done toasts, single portable exe☆26Oct 15, 2026Updated last week
- Property guidance for protein sequence generative models with ProteinGuide☆31Jun 3, 2026Updated 4 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Aug 18, 2024Updated 2 years ago
- 私有的数学建模竞赛专家 Skill Pro：139 篇案例卡、方法库、模板、代码骨架与自动验证工具☆107Aug 10, 2026Updated 2 months ago
- Proactive associative memory for DSH: system-prompt recall before the model speaks, three-layer auto-consolidation, skill crystallization…☆148Updated this week
- 模式提升插件：任务感知思维模式路由的实测提升版（deep-persona / boost 重分类 / 深度自适应）☆23Aug 24, 2026Updated last month
- Claude Code /rewind for DeepSeek Harness — git-first workspace snapshots before every mutation, turn-boundary session forks, one-shot /re…☆29Updated this week
- Trading research workbench for DeepSeek Harness (dsh): typed market-data seam, deterministic indicators, interactive chart cards ｜ 交易研究工作…☆41Aug 23, 2026Updated 2 months ago
- Solomon problems in JSON☆12May 16, 2026Updated 5 months ago
- A tool for dumping and generating Blue Archive flatbuffers☆17Jun 4, 2026Updated 4 months ago
- Library to track the pose objects with identical marker arrangements.☆12Dec 18, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🚗 AUGUstus: Autonomous Driving VLA Model with Unified Generation and Understanding. 🏋️ 512 H800 GPUs · ~2 days · 318K+ video hours · 51…☆37Oct 15, 2026Updated last week
- Bayesian tools for fitting molecular mechanics torsion parameters to quantum chemical data.☆21Sep 20, 2021Updated 5 years ago
- Build coarse-grained mapping for molecules from a web-GUI☆20Sep 10, 2021Updated 5 years ago
- 焚诀 Skoob · AI 网文智能体创作工作室。写书 + 拆书 + 永久记忆 + 知识库 + 智能体 + 专家团 + 仿真模拟 + 群体智能 + 互动剧场创作 + AI 检测 + 脑洞 + 题材 + 技能 + 天王模板☆29Oct 13, 2026Updated last week
- Vehicle routing problem with drones and drone speed selection☆11Nov 22, 2021Updated 4 years ago
- A Systematic Verification and Structured Revision of Humanity’s Last Exam☆16Feb 27, 2026Updated 7 months ago
- ☆11Oct 22, 2024Updated 2 years ago
- 人形机器人强化学习论文阅读任务汇总☆42Updated this week
- [ICCV 2025] Code for "Flow Stochastic Segmentation Networks"☆19Jun 9, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆70Sep 23, 2026Updated last month
- Collision Avoidance using Buffered Voronoi Cell☆14Feb 10, 2017Updated 9 years ago
- Lark/Feishu IM bot channel for DeepSeek Harness | 飞书 DeepSeek Harness （DSH）插件☆57Aug 19, 2026Updated 2 months ago
- DeepSeek Harness (DSH) plugin: replaces the stats row under the composer with provider and model, balance or subscription quota, peak/off…☆51Updated this week
- This Claude Skill turns Claude into a personal developmental coach that can structure and store your sessions in Notion☆20Jan 4, 2026Updated 9 months ago
- List of useful mental models form Gabriel Weinberg, CEO and co-founder of Duck Duck Go☆24Jun 25, 2017Updated 9 years ago
- ☆12Oct 12, 2021Updated 5 years ago
- A local Markdown editor with a similar experience to Typora☆25Jul 17, 2026Updated 3 months ago
- Resource scheduling and cluster management for AI☆15Jun 29, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LLM-powered MCP server for building financial deep-research agents, integrating web search, Crawl4AI scraping, and entity extraction into…☆26Feb 11, 2026Updated 8 months ago
- Evidence-first reading for AI agents — turn articles, books and PDFs into traceable claims, evidence, source locations and knowledge maps…☆62Sep 11, 2026Updated last month
- ☆11May 18, 2024Updated 2 years ago
- ☆28May 1, 2026Updated 5 months ago
- Retrieval-Augmented-Generation of over 1700+ pages of Unreal Engine documentation served through FAISS + OpenAI with LangChain☆31May 3, 2023Updated 3 years ago
- ☆39Jan 31, 2022Updated 4 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago