Open Source Linux AI Coding Tools - Page 10
Sort By:
AI Coding Tools for Linux
View 87 business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
Habit Tracker
Habit Tracker for the AI Coding Workshop
Habit Tracker is a personal habit-tracking web application designed to help users build and maintain daily habits through intuitive UI and analytics that visualize progress over time. It runs locally with a FastAPI backend (Python) and a React frontend, storing all data in a lightweight SQLite database so there’s no need for user accounts or cloud storage, which keeps habit data fully private and self-contained. The app provides streak tracking and completion rates for each habit, giving users feedback on consistency and motivation by showing how often habits are completed and where they may be lagging. A calendar view lets users see a monthly grid of their habit history with color-coded days to highlight patterns and encourage daily engagement. Habit-Tracker also supports planned absences so users can skip days without breaking their streaks, reducing frustration and keeping long-term habits on track. -
2
Kimi K2.7 Code
Coding-focused Kimi model for long-horizon agent workflows
Kimi K2.7 Code is a coding-focused agentic model built on Kimi K2.6, designed for long-horizon software engineering, autonomous coding workflows, and complex tool-based execution. It improves end-to-end task completion across real-world programming scenarios while reducing thinking-token usage by about 30% compared with K2.6. Architecturally, it uses a 1T-parameter Mixture-of-Experts design with 32B activated parameters, 61 layers, 384 experts, a 256K-token context window, and a MoonViT vision encoder. The model supports image and video input, native INT4 quantization, interleaved thinking, and multi-step tool calling. It also forces preserve-thinking mode by default, retaining full reasoning context across multi-turn interactions to improve coding-agent consistency. K2.7 Code is recommended for use through Kimi Code CLI and can be deployed with vLLM, SGLang, or KTransformers. -
3
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction within large language models, targeting domains that require strict correctness and logical rigor rather than general conversational tasks. It leverages modern large-scale architectures, likely incorporating mixture-of-experts techniques, to balance efficiency and capability while handling structured symbolic reasoning tasks. The model can assist in writing proofs, exploring mathematical structures, and validating logical properties in code. -
4
LongCat-2.0
Trillion-parameter MoE model for coding and million-token reasoning
LongCat-2.0 is Meituan’s flagship open-weight Mixture-of-Experts language model designed for frontier-scale coding, reasoning, and autonomous agent workflows. It features 1.6 trillion total parameters with approximately 48 billion activated per token, combining high capability with efficient sparse inference. The model was pretrained on more than 35 trillion tokens and trained entirely on a large-scale cluster of domestically developed AI accelerators, demonstrating stable frontier-scale training without rollback events. LongCat-2.0 introduces LongCat Sparse Attention and extensive 1M-context training, enabling native processing of million-token inputs for long-document analysis, repository-scale coding, and complex multi-step reasoning. Dedicated post-training further strengthens coding and agent performance, producing competitive benchmark results against leading proprietary models. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
Luna Code Checker
An advanced web-based tool for checking JavaScript code using ESLint.
Luna Code Checker An advanced web-based tool for checking JavaScript code using ESLint. How to Use Clone the repository. Run npm install to install the dependencies. Run npm start to start the server. Open http://localhost:3000 in your web browser. Write or paste your JavaScript code in the textarea. Click the "Check Code" button to see linting results. Features Comprehensive syntax and style checking using ESLint. Detailed error messages including line numbers and descriptions. License This project is open source and available under the MIT License. -
6
Markdown Viewer Agent Skills
Opinionated skills for AI coding agents to create stunning diagrams
Markdown Viewer Agent Skills is a repository that provides a collection of modular AI “skills” designed to extend the capabilities of agents or tools that operate on markdown-based workflows. These skills are typically structured as self-contained instruction sets that define how an AI should perform specific tasks, such as formatting, analysis, or content transformation. The project emphasizes simplicity and composability, allowing developers to integrate these skills into existing systems without requiring complex infrastructure. Each skill is designed to be reusable and adaptable, making it easy to customize behavior for different use cases. The repository aligns with the broader concept of agent skills, where capabilities are encapsulated into modular units that can be dynamically loaded and executed. It supports workflows that rely heavily on markdown as a primary medium for content and communication. -
7
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
8
MiniMax-M2
MiniMax-M2, a model built for Max coding & agentic workflows
MiniMax-M2 is an open-weight large language model designed specifically for high-end coding and agentic workflows while staying compact and efficient. It uses a Mixture-of-Experts (MoE) architecture with 230 billion total parameters but only 10 billion activated per token, giving it the behavior of a very large model at a fraction of the runtime cost. The model is tuned for end-to-end developer flows such as multi-file edits, compile–run–fix loops, and test-validated repairs across real repositories and diverse programming languages. It is also optimized for multi-step agent tasks, planning and executing long toolchains that span shell commands, browsers, retrieval systems, and code runners. Benchmarks show that it achieves highly competitive scores on a wide range of intelligence and agent benchmarks, including SWE-Bench variants, Terminal-Bench, BrowseComp, GAIA, and several long-context reasoning suites. -
9
OpenTag
Open-source @agent mentions for Slack and GitHub
OpenTag is a local-first coordination layer that turns workplace mentions into governed coding-agent runs. It connects collaboration platforms such as Slack, GitHub, GitLab, Linear, Telegram, Discord, Microsoft Teams, and Lark or Feishu to local executors. Each request becomes a bounded context packet whose permissions and executor capabilities are checked before work begins. Codex, Claude Code, or another compatible agent performs the task and returns concise results to the original thread. Action receipts show proposed changes and expose an Apply option only when an approved adapter can safely perform them. A local work ledger records the source event, admission decision, context, capabilities, artifacts, callbacks, and final outcome. The CLI supports guided setup, diagnostics, terminal operation, and background services on macOS and Linux. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Ornith-1.0
Open reasoning model for agentic coding and tool workflows
Ornith-1.0 is a large open-source reasoning model from DeepReinforce, built for agentic coding, tool use, and complex software engineering workflows. It is part of the Ornith 1.0 family, which includes dense and MoE models post-trained on Gemma 4 and Qwen 3.5. The model focuses on coding-agent performance across benchmarks such as Terminal-Bench, SWE-Bench, NL2Repo, OpenClaw, and ClawEval. Its training uses a self-improving reinforcement learning framework that optimizes not only solution attempts but also the scaffolds that guide those attempts, helping the model discover better search paths and produce higher-quality solutions. Ornith-1.0-397B is a reasoning model by default, generating <think> blocks before final answers, and supports tool calling through OpenAI-compatible endpoints. It can be deployed with vLLM, SGLang, Transformers, Docker, and compatible quantized local apps, and is released under the MIT license. -
11
lastest
AI-supported visual verification and tests you can actually trust.
Lastest.cloud is a free, open-source verification of development, self-hosted visual regression and end-to-end testing platform for web applications. An AI agent records you clicking through your running app and generates Playwright tests with multi-selector fallback. Replays are deterministic and token-free, so your CI/CD bill doesn't scale with your test suite. Lastest ships three diff engines side-by-side — pixel (pixelmatch), structural (SSIM), and perceptual (Butteraugli) — so flaky pixel diffs stop crying wolf. A review dashboard tracks baselines, approvals, and audit history. Run it via Docker on your own infrastructure for unlimited screenshots and full data residency, or run on Lastest Cloud for managed CI runners. Built for solo founders, devs doing QA without a QA team, and SaaS teams that need an Applitools-class alternative without the $699+/mo invoice or the data-exfiltration problem. -
12
skills-manage
Desktop app to manage AI coding agent skills across Claude Code
skills-manage is a Tauri desktop application for organizing AI coding agent skills across many local development tools from one interface. It uses a central skills library as the main source of truth, then installs skills into specific platforms through per-tool workflows. The app is designed for users who work with multiple AI coding agents and want consistent skills across environments such as Claude Code, Codex, Cursor, Gemini CLI, and many others. It provides detail views with Markdown previews, raw source views, AI-generated explanations, collections, marketplace browsing, and GitHub repository import. It also scans local projects for skill libraries, including project-level folders and Obsidian-style vaults. Its local-first design keeps metadata, collections, settings, scan results, and cached explanations on the user’s machine unless a feature explicitly requires network access.
