A local evidence workbench for researchers and students: search PDFs and notes, build cited AI context packs, and audit quotations. CLI, browser, and MCP.
☆21Sep 7, 2026Updated last month
Alternatives and similar repositories for studyproof
Users that are interested in studyproof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Your personal AI companion, designed to boost your productivity with privacy-first, on-device inference.☆82Updated this week
- 大黑 AI 速报 RSS 的多通道自动推送：WxPusher、QQ 群机器人、飞书群机器人、QQ 邮箱，支持 UID 自部署、Topic 统一订阅与群聊自助加入。☆61Updated this week
- A Codex skill for building Godot UI from approved designs with editor-visible scenes and runtime visual-parity checks.☆338Aug 23, 2026Updated last month
- Syna — offline-first LAN messenger. Kotlin Multiplatform, end-to-end encrypted (X25519 + AES-256-GCM), burn-after-reading, group chat, se…☆22Sep 18, 2026Updated last month
- Deep learning for games. Cross-platform. No CUDA.☆43Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Nexus — execution infrastructure for AI agents. Host agents in the cloud or behind NAT; let users attach and authorize their own computer…☆53Updated this week
- An Open, Progressive Benchmark for Generalizable 2.5D/3D-IC Thermal Learning☆41Sep 6, 2026Updated last month
- Histology Spatial Topology for Omics Profiling and Inter-section Alignment☆783Oct 13, 2026Updated last week
- Build AI agents grounded in a creator's documents, audio, and video.☆950Sep 1, 2026Updated last month
- ☆23Jul 5, 2026Updated 3 months ago
- Codex CLI and Claude Code CLI on your phones. No computers required.☆187Sep 13, 2026Updated last month
- Agnes Harness: A pluggable agent harness for Forward Deployed Engineering (FDE). Built for trust. Made for the real world.☆853Updated this week
- The official implementation of "Diffusion Probe: Generated Image Result Prediction Using CNN Probes", accepted as a poster at CVPR 2026.☆37Jun 26, 2026Updated 3 months ago
- AI-native SDLC skills for Claude Code: requirement intake & audit, adversarial review gate, AI test orchestration, decision re-check, rel…☆64Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mimir — 一站式科研工作台插件：LaTeX 论文边写边编译、arXiv 文献管理、实验追踪、指标图表、GPU 服务器 SSH 任务编排，管理科研全周期。An open-source research workbench plugin for the whole res…☆543Oct 12, 2026Updated last week
- ☆104Sep 25, 2026Updated 3 weeks ago
- Autonomous LLM Trading Asterism — a research-only multi-agent trading platform with evidence-first research, an auditable console, Shadow…☆1,088Oct 7, 2026Updated last week
- DeepSeek Harness 提示词市场插件：对话框内一键浏览、搜索、收藏提示词，选中即写入输入框。零后端、免构建、数据只存本机。 | A prompt marketplace for DSH: browse, search and insert prompts str…☆105Oct 11, 2026Updated last week
- A research-friendly, high-performance multi-agent collaboration coding framework.☆623Updated this week
- Windows 笔记导出与迁移工具：七平台适配、四格式导出、离线阅读，明确验证范围与失败状态。☆1,005Sep 9, 2026Updated last month
- ☆100Oct 9, 2026Updated last week
- 面向音乐自学者的节奏训练工具，哪里不会练哪里☆32Updated this week
- ☆56Aug 8, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Apeireth — a digital companion that grows with you. Pure Safe Rust AGI cognitive microkernel: memory that fades like a person's, human ap…☆395Updated this week
- semantic agent kernel which make agent efficient and self-evolve☆818Updated this week
- 在线考试、试卷生成与错题本系统☆82Oct 10, 2026Updated last week
- Shijuan is a self‑study exam practice tool. It turns questions and reference answers from Word or PDF into interactive question cards. Af…☆50Sep 16, 2026Updated last month
- Reconcile stuck AI-agent tasks after restarts and timeouts. Preview SQLite changes, close stale delivery states, and never guess success.☆930Aug 25, 2026Updated last month
- Delete one complete turn from a DeepSeek Harness session without deleting the session☆108Aug 18, 2026Updated 2 months ago
- Hong Kong graduate, internship & entry-level jobs — updated daily by Workopia☆51Updated this week
- Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence…☆894Aug 25, 2026Updated last month
- TurboServe: Serving Streaming Video Generation Efficiently and Economically☆246Jul 12, 2026Updated 3 months ago
- 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.
- 把直播、课程、演讲、口播等长视频自动切成精彩片段｜本地语音识别，音频不出本机；LLM 挑高光，批量导出☆473Sep 14, 2026Updated last month
- Code and Resources for the paper, "Better to Ask in English: Cross-Lingual Evaluation of Large Language Models for Healthcare Queries"☆338May 14, 2026Updated 5 months ago
- AI-enabled Intelligent Document Processing for Python: 12+ LLM backends, Pydantic schemas, self-hosted OCR (Nanonets-OCR2-3B), auto-schem…☆278Updated this week
- 一套让多个 AI agent 协作干工程活、且没有任何一方能给自己签合格的设计，加上它的实现，以及它真的跑起来时留下的账本。☆102Aug 23, 2026Updated last month
- 一个面向A股的多agent股票辅助分析系统☆109Sep 9, 2026Updated last month
- 大模型推理优化 · 分布式系统 · 量化交易 · 创意工坊☆200Sep 23, 2026Updated 3 weeks ago
- Poirot is a deep research agent kernel built for those who care about how agents are architected.☆251Jul 28, 2026Updated 2 months ago