DeepSeek V4 Flash 0731 - free deepseek v4 flash download, gguf, ollama, deepseek v4 pro 0813. deepseek v4 flash vs pro, benchmark, MoE, 1M context, compressed sparse attention, coding. CUDA/CPU, no API key, Windows local AI. Download:🡇
A Flipper Zero that stops guessing and starts reasoning: ML-guided RFID/NFC fuzzing & access-control auditing that turns raw card reads into a prioritized, explainable security assessment. Defensive-use only.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Open Source Deep Research Alternative to Reason and Search on Private Data. Written in Python.
OpenCompass is an LLM evaluation platform, supporting a wide range of models from OpenAI, Anthropic, Gemini, Qwen, GLM, DeepSeek, etc, across 100+ datasets covering knowledge, reasoning, coding, science, language, long-context, and safety.
Democratizing Reinforcement Learning for LLMs
Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%
TypeDB: Built for systems, not records
Probabilistic reasoning and statistical analysis in TensorFlow
This is a Phi Family of SLMs book for getting started with Phi Models. Phi a family of open sourced AI models developed by Microsoft. Phi models are the most capable and cost-effective small language models (SLMs) available, outperforming models of the same size and next size up across a variety of language, reasoning, coding, and math benchmarks
A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, etc.)
Reason bindings for ReactJS
Modular Python framework for AI agents and workflows with chain-of-thought reasoning, tools, and memory.
Think with AI beyond the chat box. A shared canvas for handwriting, equations, diagrams, and spatial reasoning.
GLM-4.6V/4.5V/4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement Learning
Tidy, feature-complete Web framework
WFGY is heading toward WFGY 5.0 Polaris Protocol, a major open-source release for AI reasoning, RAG, agents, and real-world workflows. Includes Problem Map, Global Debug Card, WFGY 4.0, and the CFV Easter Egg.
Democratizing AI scientists with ToolUniverse
Resources and paper list for "Thinking with Images for LVLMs". This repository accompanies our survey on how LVLMs can leverage visual information for complex reasoning, planning, and generation.
OctoTools: An agentic framework with extensible tools for complex reasoning
All reasonably stable tools
This repository provides valuable reference for researchers in the field of multimodality, please start your exploratory travel in RL-based Reasoning MLLMs!
A curated list of papers and resources based on the survey "Agentic Reasoning for Large Language Models"
Engineering decisions engine that know when they're stale. Frame, compare, decide — with evidence decay and parity enforcement. For Claude Code, Cursor, Gemini CLI, Codex and more.
Large Language Model based Multi-Agents: A Survey of Progress and Challenges (In IJCAI 2024)
[Neurips 2025] R-KV: Redundancy-aware KV Cache Compression for Reasoning Models
Hazel, a live functional programming environment with typed holes
Insightful Tutorials and Papers about Knowledge Graphs
Multimodal Chain-of-Thought Reasoning: A Comprehensive Survey
A mixture of tooling combined to produce JavaScript from OCaml & Reason
The complete post-training stack for LLMs, plus RL for any problem. SFT, DPO and multi-turn agentic RL, with evolutionary hyperparameter optimization built in.
The NVIDIA Deep Researcher Agent Blueprint is an open reference example for building intelligent AI agents that connect to your enterprise data, reason using state-of-the-art models, and deliver trusted business insights.
A reasonably complete and well-tested golang port of httpbin, with zero dependencies outside the go stdlib.
package.json workflow for native development with Reason/OCaml
[TMLR 2025] Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models
Synthesized Logic Language for World Models 🌱🐋🌍
MathCode: A Frontier Mathematical Coding Agent
AI agents with graph based reasoning memory, scaffolded in seconds
The only reasonable scripting engine for Go.
A powerful free cross-platform RTS game engine
Litex: write math, get formalized code. Because the math already is.
Official Codebase for "Neural Thickets: Diverse Task Experts Are Dense Around Pretrained Weights" (ICML 2026 Spotlight)
Faster, simpler and more portable implementation of jq-inspired language in OCaml
Emotion-LLaMA: Multimodal Emotion Recognition and Reasoning with Instruction Tuning
Open-source multi-provider AI gateway for Claude Code and other coding agents, with model routing, streaming, tools, reasoning, fallbacks, and local model support
Wayland - The AI Agent That Perceives. Reasons. Acts. Evolves.
Compose multimodal datasets 🎹
Conveniently and reasonably harden NixOS.
Vibe Check is a tool that provides mentor-like feedback to AI Agents, preventing tunnel-vision, over-engineering and reasoning lock-in for complex and long-horizon agent workflows. KISS your over-eager AI Agents goodbye! Effective for: Coding, Ambiguous Tasks, High-Risk tasks
A skill to kill from-scratch coding — Claude checks real arXiv prior art before it designs a new architecture.
An easy way to use jev with your coding agent for tool calling reasoning
Adaptive reasoning effort for GPT-6 during Codex tasks, powered by Jev to reduce token usage.
[MobiSys 2026] A large-scale, multimodal dataset and benchmark for Human Action Recognition, Understanding and Reasoning
Import conversation history from 25+ AI coding agents into DeepSeek Harness as resumable sessions — tool calls, reasoning and results kept intact, with reverse export and sync. | 把 25+ AI 编程 Agent 的聊天记录导入 DeepSeek Harness 继续对话,保留工具调用、推理与结果,支持反向导出与同步。
Second-model AI auto-review for DeepSeek Harness approval requests: a read-only reviewer subagent returns structured allow/deny verdicts with reasons, fail-closed by default, fully auditable from the session log (approval/asked -> autoReview/verdict -> approval/decided).
Eyes are All JEV Needs - real time visual devisions from RGB, video and RGB-D cameras.
RAG ReAct Agent - A Retrieval-Augmented Generation system with ReAct (Reasoning+Acting) agent loop for intelligent question answering with multi-hop reasoning
Reason over explicit states, many branches at once: merge duplicates, cancel dead ends, advance together.
S-Space: Exploring Spatial Workspace in Multimodal Models
🎬 OraRL — Annotations as Rollouts for efficient, scalable reinforcement learning of unified video MLLMs.