Search Results for "linux scanner software"
Sort By:
21 projects for "linux scanner software" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
Loop Engineering
Practical patterns, starters & CLI tools for loop engineering with AI
Loop Engineering is a practical reference repository for designing loop-based workflows with AI coding agents. It focuses on replacing repeated manual prompting with systems that prompt, verify, schedule, and hand off work over time. The project is aimed at developers using tools such as Grok, Claude Code, Codex, Cursor, and other coding agents. It explains core building blocks such as scheduling, worktrees, skills, plugins, connectors, sub-agents, and persistent memory or state. The... -
2
Kodus
AI code reviews, just like your senior dev would do
Kodus-AI is a framework for building, training, and deploying intelligent agents and models, especially focusing on practical AI workflows for businesses and automation. It provides a structured set of tools and abstractions that help teams design agent behaviors, orchestrate data pipelines, optimize inference, and integrate AI capabilities with applications or services. The platform often includes model management, scalable training workflows, and orchestration patterns that help teams move... -
3
Bolt.new
Prompt, run, edit, and deploy full-stack web applications
Bolt.new is an AI-powered full-stack development platform created by StackBlitz that enables users to build, run, edit, and deploy complete web applications directly from the browser without requiring any local setup or traditional development environment. It operates as an intelligent coding agent where users describe what they want to build in natural language, and the system generates functional applications, including frontend, backend, and infrastructure components. The platform is... -
4
MiniMax-M2.1
MiniMax M2.1, a SOTA model for real-world dev & agents.
MiniMax-M2.1 is an open-source, state-of-the-art agentic language model released to democratize high-performance AI capabilities. It goes beyond a simple parameter upgrade, delivering major gains in coding, tool use, instruction following, and long-horizon planning. The model is designed to be transparent, controllable, and accessible, enabling developers to build autonomous systems without relying on closed platforms. MiniMax-M2.1 excels in real-world software engineering tasks, including... -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
5
LazyCodex
The one and only agent harness for complex codebases
LazyCodex is an agent harness for using Codex on complex software projects. It is designed to add structure around AI coding sessions through memory, planning, execution, verification, skills, hooks, routing, and diagnostics. The project helps developers move beyond one-off prompts by giving the agent a more organized workflow inside a codebase. It supports project memory so context can persist across sessions and decisions do not need to be repeatedly reintroduced. LazyCodex also emphasizes... -
6
Kimi Code CLI
Kimi Code CLI is your next CLI agent
Kimi CLI is a command-line AI agent that brings an intelligent software development assistant directly into your terminal, helping you with coding tasks, shell operations, and workflow automation without leaving your command prompt. It supports an interactive shell-like user interface where you can chat with the agent, request code edits, run shell commands, and receive contextual suggestions as you work, creating a seamless blend of AI-augmented development and traditional terminal usage.... -
7
Expect
Let agents test your code in a real browser
Expect is a developer-focused utility designed to simplify validation, testing, and assertion workflows across software environments by providing a clean and expressive interface for defining expected outcomes. The project likely centers on improving readability and maintainability in testing scenarios, allowing developers to write expectations in a concise and human-readable format. It may support chaining conditions, enabling complex validation logic without introducing unnecessary... -
8
Sourcery AI Code Review
Instant AI code reviews
Sourcery is an AI-powered code assistant designed to help developers write cleaner, more maintainable Python code by suggesting real-time refactorings, improvements, and best-practice rewrites directly in popular editors and IDEs. Instead of just offering autocomplete, Sourcery analyzes existing functions and code patterns to provide context-aware suggestions that can simplify logic, reduce duplication, improve naming, and correct anti-patterns, helping developers adhere to idiomatic style... -
9
Compound Engineering
Official Compound Engineering plugin for Claude Code, Codex, Cursor
The Compound Engineering plugin project is an AI-driven workflow system designed to improve software development by turning each unit of work into a reusable and compounding asset. It provides a structured set of commands and agents that guide developers through stages such as brainstorming, planning, execution, review, and knowledge capture. The core philosophy is to reduce technical debt by emphasizing thorough planning and continuous learning, ensuring that each iteration improves future... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
security-audit
A coding-agent skill for multi-phase security audits
security-audit is a coding-agent skill for running structured security audits on software repositories. It organizes the audit into multiple phases so the agent does not simply search randomly for vulnerabilities. The workflow begins with reconnaissance, then moves into parallel hunting across attack classes such as injection, access control, business logic, cryptography, feature abuse, and chained attacks. Findings are then challenged through separate validation agents to reduce false... -
11
BMad Method
Breakthrough Method for Agile Ai Driven Development
BMad Method is a comprehensive AI-driven software development framework that structures the entire lifecycle of building applications through coordinated agent workflows and agile methodologies. It transforms AI from a reactive assistant into a structured team of specialized roles such as product manager, architect, developer, and QA, each operating within predefined workflows. The system guides users through phases including analysis, planning, solution design, and implementation, ensuring... -
12
fireworks-tech-graph
Claude Code skill for generating production-quality SVG+PNG technical
fireworks-tech-graph is an AI-driven project focused on building structured knowledge graphs that map relationships between technologies, concepts, and entities within technical domains. It aims to transform unstructured information into interconnected graphs that can be queried and analyzed for insights, making it easier to understand complex ecosystems such as software stacks or research fields. The system likely leverages AI techniques for entity extraction, relationship mapping, and... -
13
Oh My OpenAgent
The best agent harness
Oh My OpenAgent is a large-scale, open-source agent orchestration framework that aims to provide a fully unified and extensible environment for AI-powered software development and automation. It builds on the idea that no single model is sufficient, instead enabling coordinated use of multiple models for reasoning, creativity, speed, and cost efficiency within a single workflow. The system is designed as a comprehensive agent harness where tasks are automatically decomposed, delegated, and... -
14
CoStrict
Strict AI coder for enterprises, quality first
CoStrict is an enterprise-focused, open-source AI coding assistant designed to standardize and elevate software development workflows through structured, high-quality automation. Unlike typical AI coding tools that prioritize speed over rigor, CoStrict introduces a “strict mode” methodology that enforces disciplined processes such as requirements analysis, architecture planning, task decomposition, and test generation before producing code. This makes it particularly suitable for... -
15
Fulling
Full-stack Engineer Agent. Built with Next.js, Claude, shadcn/ui
...The platform provides a sandboxed workspace where developers can build complete applications with the help of an integrated AI coding agent. Instead of manually configuring development environments, the system automatically provisions the required infrastructure including a Linux environment, database services, and development tools. It integrates an AI pair programmer that can generate code, implement features, and assist with debugging tasks through natural language instructions. The environment also includes web-based terminals, file management tools, and version control capabilities to support collaborative software development workflows. ... -
16
Open SWE
Open source async coding agent that plans, codes, and opens PRs
Open SWE is an open source asynchronous coding agent designed to automate software engineering workflows across entire repositories. Built with LangGraph, it can understand a codebase, generate a structured plan, and execute code changes from start to finish without constant human intervention. It operates in a cloud-based environment where tasks are processed asynchronously, allowing multiple coding jobs to run in parallel in isolated sandboxes. It integrates directly with development... -
17
Qwen2.5-Coder
Qwen2.5-Coder is the code version of Qwen2.5, the large language model
Qwen2.5-Coder, developed by QwenLM, is an advanced open-source code generation model designed for developers seeking powerful and diverse coding capabilities. It includes multiple model sizes—ranging from 0.5B to 32B parameters—providing solutions for a wide array of coding needs. The model supports over 92 programming languages and offers exceptional performance in generating code, debugging, and mathematical problem-solving. Qwen2.5-Coder, with its long context length of 128K tokens, is... -
18
Visual Studio Code client for Tabnine
Visual Studio Code client for Tabnine
This extension is for Tabnine’s Starter (free), Pro and Enterprise SaaS users only. Tabnine Enterprise users with the self-hosted setup should use the Tabnine Enterprise extension in the VSCode Marketplace. Tabnine is an AI code assistant that makes you a better developer. Tabnine will increase your development velocity with real-time code completions, chat, and code generation in all the most popular coding languages and IDEs. Whether you call it IntelliSense, intelliCode, autocomplete,... -
19
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... -
20
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... -
21
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...
- Previous
- You're on page 1
- Next
