Proof search with a diversity-balanced symbolic frontier, bounded future atlas, and optional language-model guidance.
☆23Oct 3, 2026Updated 2 weeks ago
Alternatives and similar repositories for ViaLean
Users that are interested in ViaLean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 让 AI 助手把「想、做、查」分开的一套轻量角色约定。核心只是几份 Markdown 规则；需要更严的流程时，可以再选装任务书驱动的习惯包。☆61Updated this week
- [NeurIPS 2026] MemForest: Efficient Agent Memory Management via EventTree Partitioning and Progressive Merging☆32Sep 17, 2026Updated last month
- ☆19Sep 11, 2026Updated last month
- ☆37Updated this week
- 电商履约运营智能协同代理，用于处理异常订单分析、履约规划、人工审核、外部协同任务、结果校验和案例结算☆231Sep 5, 2026Updated last month
- 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.
- A focused GitHub desktop workspace for notifications, issues, pull requests, Actions, repository discovery, and an optional repository-aw…☆294Sep 25, 2026Updated 3 weeks ago
- 一个为 Codex Dream Skin 打造的武见妙主题，采用静态低负载设计，并同时支持 Windows 与 macOS。A Tae Takemi-inspired theme for Codex Dream Skin, featuring a static low-ov…☆16Updated this week
- Ten Engines. One local-first Harness OS.☆217Sep 22, 2026Updated 3 weeks ago
- A local-first submission, conference, JCR and research analytics dashboard.☆36Aug 12, 2026Updated 2 months ago
- A self-hosted AI agent runtime with WebUI, MCP tools, context governance, and Record & Replay for deterministic execution & evaluation.☆37Updated this week
- Zero-shot automatic annotation tool for object detection, semantic segmentation, and instance segmentation based on SAM3.☆29May 12, 2026Updated 5 months ago
- 为虎牙、斗鱼、哔哩哔哩和抖音直播添加弹幕一键 +1 以及全平台弹幕收藏｜Add a one-click "+1" feature for bullet chat and enable cross-platform bullet chat saving for Huya, D…☆108Oct 8, 2026Updated last week
- 可视化的markdown编辑器，主要用于我自己的博客站☆98Oct 2, 2026Updated 2 weeks ago
- Local, fail-closed policy enforcement and human approval for MCP tool calls.☆100Sep 7, 2026Updated last month
- 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.
- Bounded project-memory skills for Codex CLI and Claude Code.☆496Sep 8, 2026Updated last month
- ☆123Updated this week
- 从 0 训练大模型，单卡训练一个 200M 参数模型的全流程（train a 200M‑parameter model from scratch）☆62Sep 23, 2026Updated 3 weeks ago
- Cross-platform companion for Google Antigravity: Account Switcher, Custom Model Gateway, UI/UX Enhancement, Preview Browser, File Explore…☆21Updated this week
- OpenAI-powered academic figure generator: analyze papers with GPT-6 Astra, create structured prompts, and generate/edit publication-ready…☆58Oct 4, 2026Updated 2 weeks ago
- Run DeepSeek-v4-pro (1600B MoE) on a 24GB-RAM consumer machine — rust, streamed from disk.☆171Aug 2, 2026Updated 2 months ago
- Self-hosted digital goods delivery platform: Spring Boot 3 API + Next.js 16 storefront, Epay/USDT payment pipeline, risk control, full ad…☆60Aug 18, 2026Updated 2 months ago
- A local-network remote control for coding agents running on your own computer.☆100Oct 4, 2026Updated 2 weeks ago
- Noah Research fork repo for ScienceFlow learning☆658Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 日本語コーパス形態素解析・依存構文解析・可視化エージェント | Japanese Corpus Morphological & Syntactic Dependency Analysis & Visualization Agent☆53May 15, 2026Updated 5 months ago
- ☆493Oct 6, 2026Updated last week
- Evidence-linked Palette Fusion for distinctive, editable, and print-ready academic posters.☆104Aug 11, 2026Updated 2 months ago
- Official implementation of Paper "Conditional cost–emission envelopes for decarbonizing dense urban power systems under spatial renewable…☆51Jul 18, 2026Updated 3 months ago
- Multi-agent engineering framework: evidence packs, runtime validation, task decomposition, cross-window worker execution, and CI artifact…☆99Sep 17, 2026Updated last month
- Local-first AI agent workspace for multi-agent collaboration, agent orchestration, scoped permissions, evidence-aware runs, and human-in-…☆1,056Updated this week
- Verify BibTeX references against OpenAlex & CrossRef to detect errors and AI hallucinations☆147Sep 29, 2026Updated 2 weeks ago
- ☆198Updated this week
- 基于 RuoYi Vue 3版本以及Flowable 8、Spring Boot 4 的开源流程中台。完全为爱发电，如果有用的上的地方，可以点点小⭐。（目前开源部分为早期技术参考版本，非实际设计后的产品版本，仅作为技术参考使用，但后续会不断维护这个参考，提升框架通用性）☆276Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆1,371Updated this week
- LumiField 沉浸式 Windows 音乐播放器 · GPL-3.0-only☆98Aug 26, 2026Updated last month
- Linux/SSH/headless Mihomo TUI. Default silent: only flc COMMAND uses the proxy.☆118Updated this week
- MCPHub Desktop 是一款基于 Tauri 2 构建的桌面客户端，用于在个人电脑上统一管理 MCP服务器、Skills、RAG 知识库。所有进程、配置、密钥与向量数据都运行/保存在用户自己的机器上，不依赖任何远端服务。☆891Updated this week
- Live M1 candles rendered inside M5 bars for ATAS Classic.☆100Aug 13, 2026Updated 2 months ago
- Safety-critical longitudinal planning: from DP+QP+PID to DP+augmented-state MPC with safety constraint formulation with RSS model and iLQ…☆26Aug 19, 2026Updated last month
- Build Hang Dream☆28Jun 12, 2026Updated 4 months ago