Search Results for "frida-server"
Sort By:
Showing 9 open source projects for "frida-server"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
Codex Mobile
Run Codex Mobile Anywhere: Linux, Windows, or Termux on Android
Codex Mobile is a lightweight bridge that exposes Codex app-server workflows through a browser-accessible interface. It is designed to let users run a Codex-style UI on Linux, Windows, or Termux-powered Android setups. The project starts a local web server with one command, then lets the user open the interface from the same machine, a LAN device, or another reachable connection. It can also create a Cloudflare tunnel by default, making remote access easier when the local setup allows it. ... -
2
pool
pool is Poolside’s coding agent that runs in your terminal
pool is Poolside’s coding agent for terminal and editor-based development workflows. It can run as a standalone interactive terminal app, as an ACP server for compatible editors, as an ACP client connected to another agent server, or non-interactively through command execution. The tool supports slash commands, file and directory fuzzy search, shell mode, message rewind, and configurable approval modes. It integrates with open agent specifications such as AGENTS.md, Skills, MCP, and ACP, making it adaptable to different coding environments. ... -
3
OpenCode
The open source coding agent
OpenCode is an open-source AI coding agent designed to assist developers directly from the terminal, desktop, or IDE environments. It functions as a locally running assistant that can analyze codebases, execute development tasks, and interact with external tools while remaining highly configurable. The system is built around an agent model that can perform actions such as file manipulation, shell execution, and web access with user confirmation. Its provider-agnostic design allows developers... -
4
OpenMonoAgent
Terminal-native coding agent powered by local LLMs
OpenMonoAgent.ai is a self-hosted coding agent designed to run entirely on the user’s own hardware. It pairs a .NET CLI with a local llama.cpp inference server so developers can use agentic coding workflows without cloud subscriptions or per-token billing. The project emphasizes privacy, local control, and ownership of the model, compute, and project data. It includes a terminal-native workflow, built-in tools, Docker sandboxing, and code intelligence features. The system can run on CPU or GPU and is designed to auto-configure itself when possible. ... -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
5
Happy Coder
Mobile and Web client for Codex and Claude Code, with realtime voice
...You can start a coding session locally through the Happy CLI or connect from a phone or browser, allowing developers to inspect, interact with, and guide the AI as it generates, tests, or explains code. The project includes components like a dedicated backend server for encrypted sync, a rich front-end experience across web and native apps, and support for push notifications when your coding agent encounters permission requests or errors. Happy prioritizes security with end-to-end encryption so your code and interactions remain private and auditable. -
6
Kimchi
Terminal coding agent powered by Kimchi's multi-model orchestration
...It is designed to help developers run AI-assisted coding sessions from the command line while coordinating specialized agents, tools, permissions, and project context. The repository includes systems for subagents, task classification, model delegation, MCP integration, web search, web fetching, Language Server Protocol support, authentication, and interactive terminal workflows. It also supports ACP-style JSON-RPC integration for editor workflows and remote session multiplexing through its teleport mode. Kimchi includes benchmarking tools for smoke testing sessions, auditing completed work, and comparing model behavior across predefined tasks. ... -
7
AutoBE
AI Vibe Coding Agent of TS backend server
AutoBE is an AI backend builder that turns natural-language requirements into a working TypeScript backend application. It analyzes what the user wants, creates specifications, designs database structure, defines API documentation, writes end-to-end tests, and generates implementation logic. The project is aimed at moving from prototype to production more quickly while keeping generated code buildable and verifiable. It uses an agentic workflow supported by compiler-friendly checks and test... -
8
Crush
The glamourous AI CLI coding agent for your favourite terminal 💘
...With flexible model switching, Crush allows you to change providers mid-session while retaining conversation history. It enhances productivity by combining LSP (Language Server Protocol) support with extensible MCP (Model Context Protocol) integrations for richer coding context and external tool connectivity. Built for portability, it offers first-class support across macOS, Linux, Windows (PowerShell and WSL), and BSD systems. Backed by the Charm ecosystem, Crush is a stable, actively maintained evolution of the original OpenCode project. -
9
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. ... -
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.
- Previous
- You're on page 1
- Next
