Search Results for "logic analysis"
Sort By:
Showing 38 open source projects for "logic analysis"
View related business solutions-
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
zhangxuefeng-skill
Zhang Xuefeng's cognitive operating system
zhangxuefeng-skill is an AI agent skill package that distills the decision-making frameworks and practical reasoning style of Chinese educator Zhang Xuefeng into a reusable, executable cognitive system. Rather than functioning as a simple quote collection, it encodes structured heuristics, mental models, and decision logic derived from books, interviews, and real-life case analysis. The skill is designed to be used within AI coding agents such as Claude Code, where it can be invoked to provide guidance on topics like college major selection, career planning, and long-term life decisions. It emphasizes pragmatic, outcome-driven reasoning focused on employment prospects, income potential, and social constraints rather than abstract ideals. ... -
2
DeepAudit
AI multi-agent platform for automated code security auditing system
DeepAudit is an open source code security auditing platform that uses a multi-agent architecture to analyze and identify vulnerabilities in software projects. Instead of relying solely on traditional static analysis, it simulates the reasoning process of security experts through coordinated agents responsible for orchestration, reconnaissance, analysis, and verification. DeepAudit performs deep semantic understanding of code, enabling it to detect complex vulnerabilities that span multiple files and business logic layers. It also includes automated proof-of-concept validation using a sandboxed environment, allowing detected issues to be tested for real exploitability. ... -
3
SuperPrompt
Experimental prompt framework exploring reasoning structures in AI
SuperPrompt is an experimental open source project focused on designing complex prompts intended to help researchers and developers better understand how AI agents reason and respond. It explores structured prompt engineering techniques that combine symbolic expressions, logical constructs, and conceptual frameworks to guide large language models toward deeper reasoning processes. Its main concept revolves around a highly structured prompt format that includes tagged sections for reasoning,... -
4
Pluely
The Open Source Alternative to Cluely
...By providing a modular architecture for building AI pipelines, the platform enables developers to connect multiple processing steps such as data retrieval, prompt execution, analysis, and response generation. The project emphasizes flexibility, allowing developers to extend the platform with custom integrations and automation logic. This makes the framework suitable for building intelligent assistants, automated business workflows, and data-processing pipelines that rely on generative AI capabilities. -
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.
-
5
Claude for Financial Services
Reference agents, skills, and data for the financial-services
...The project targets domains such as investment banking, equity research, private equity, and wealth management by providing reusable prompts, structured workflows, and domain-specific analytical skills. It supports deployment either as Claude Cowork plugins or through the Claude Managed Agents API, allowing organizations to integrate the same logic into internal systems and automation pipelines. The repository includes tools for competitive analysis, financial modeling, market research, data-pack generation, and strategic synthesis. Its architecture emphasizes modularity, enabling firms to customize workflows and extend functionality for proprietary use cases. Overall, the project serves as a foundation for building AI-enhanced financial research and decision-support systems. -
6
Presubmit
Context-aware AI reviewer for Pull Requests
Optimize your code review process with Presubmit's AI Code Reviewer catches bugs, suggests improvements, and provides a meaningful summary - all before human reviewers take their first look. -
7
opensrc
Fetch source code for npm packages
OpenSrc is an open-source utility developed by Vercel Labs that retrieves and exposes the source code of npm packages so that AI coding agents can better understand how external libraries work. When large language models generate code, they often rely only on type definitions or documentation, which can limit their understanding of how a library actually behaves. OpenSrc addresses this limitation by allowing agents to fetch the underlying source code of dependencies and analyze their... -
8
swark.io
Create architecture diagrams from code automatically using LLMs
Swark is an open-source developer tool and Visual Studio Code extension that automatically generates software architecture diagrams directly from source code using large language models. The project aims to help developers quickly understand complex codebases by analyzing repositories and producing visual diagrams that represent system architecture, dependencies, and component relationships. Instead of relying on manually maintained diagrams that often become outdated, Swark uses AI to infer... -
9
HiClaw
An open source collaborative multi-agent OS
...The platform explores how agentic AI systems can coordinate reasoning, retrieval, and procedural logic within legal workflows while maintaining contextual awareness. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
Claude Code Best V3
The original Claude Code is runnable and buildable
Claude Code Best V3 is an agentic coding system that enables developers to interact with their codebases through natural language while automating repetitive and complex development tasks. It operates primarily in terminal or IDE environments, where it can analyze code, explain logic, and perform actions such as refactoring, debugging, and managing version control. The system is designed to understand the structure and intent of a codebase, allowing it to provide context-aware assistance... -
11
Claude Code Security Reviewer
An AI-powered security review GitHub Action using Claude
The claude-code-security-review repository implements a GitHub Action that uses Claude (via the Anthropic API) to perform semantic security audits of code changes in pull requests. Rather than relying purely on pattern matching or static analysis, this action feeds diffs and surrounding context to Claude to reason about potential vulnerabilities (e.g. injection, misconfigurations, secrets exposure, etc). When a PR is opened, the action analyzes only the changed files (diff-aware scanning), generates findings (with explanations, severity, and remediation suggestions), filters false positives using custom prompt logic, and posts comments directly on the PR. ... -
12
Rill
Fast SQL-based BI tool for real-time dashboards and analytics
...Interactive dashboards come with opinionated defaults, so teams can focus on insights instead of setup, while metrics layers standardize business logic for consistent reporting across dashboards, APIs, and AI systems. -
13
Dynamiq
An orchestration framework for agentic AI and LLM applications
Dynamiq is an open-source orchestration framework designed to streamline the development of generative AI applications that rely on large language models and autonomous agents. The framework focuses on simplifying the creation of complex AI workflows that involve multiple agents, retrieval systems, and reasoning steps. Instead of building each component manually, developers can use Dynamiq’s structured APIs and modular architecture to connect language models, vector databases, and external... -
14
a-stock-data
Full-stack China A-Share data toolkit for AI coding assistants
...The repository emphasizes tested endpoints and practical usability for agent-driven financial analysis workflows. Its main value is turning fragmented A-share data sources into a unified toolset for AI-assisted research and coding. -
15
Codex plugin for Claude Code
Use Codex from Claude Code to review code or delegate tasks
...The project is designed to extend the functionality of coding agents by allowing them to delegate tasks to Codex or similar models in a controlled and modular way. It likely provides abstractions for handling code generation, editing, and analysis while maintaining consistency across workflows. The system emphasizes interoperability, allowing developers to plug Codex capabilities into broader agent ecosystems without rewriting core logic. It may also include mechanisms for managing execution context, permissions, and tool access, ensuring that generated code can be safely applied. ... -
16
Claude Code Usage Monitor
Real-time Claude Code usage monitor with predictions and warnings
Claude Code Usage Monitor is a developer-focused terminal tool that provides real-time visibility into Claude Code token consumption and session behavior. The project is designed to help users avoid unexpectedly hitting usage caps by continuously tracking token burn rate, message counts, and estimated costs during active sessions. It presents analytics through a visually rich terminal interface built with modern Python tooling, making it easy to interpret usage trends at a glance. The system... -
17
AI Marketing Skills
Open-source AI marketing skills for Claude Code
AI Marketing Skills is a comprehensive open-source framework designed to transform AI agents into fully operational marketing and sales systems by equipping them with structured, reusable “skills” that automate real business workflows. Instead of simple prompts, the project provides complete operational modules that include scripts, scoring systems, and decision-making logic, allowing AI tools like Claude Code to execute complex marketing tasks end-to-end. The system is organized into multiple domains such as growth experimentation, sales pipeline generation, content production, outbound marketing, SEO optimization, and financial analysis, effectively covering the entire revenue lifecycle of a business. ... -
18
Anthony Fu's Skills
Anthony Fu's curated collection of agent skills
Anthony Fu's Skills is an open-source collection of agent skills — modular instruction packages that teach AI coding assistants how to perform specific tasks automatically when relevant. These skills are typically simple, human-readable files that contain structured steps, rules, examples, and workflow logic, letting tools like Claude Code or Copilot CLI load and run them only when they apply to the user’s input. By offloading detailed task patterns into discrete skill modules, developers... -
19
Mito
AI-powered Jupyter spreadsheet that converts workflows into Python
...This removes the need to manually translate spreadsheet logic into scripts. Mito also integrates with tools like Streamlit and Dash, enabling users to embed interactive spreadsheet functionality into apps with minimal setup. Built for analysts, developers, and teams, it simplifies automation, reduces repetitive tasks, and accelerates the transition from data exploration to reusable code. -
20
MediaPipe Solutions
Cross-platform, customizable ML solutions
...The system provides developers with tools and reusable components that allow them to combine multiple machine learning models with preprocessing and postprocessing logic into efficient perception pipelines. These pipelines can run on a wide variety of platforms including mobile devices, desktop systems, web browsers, and embedded edge devices. MediaPipe is widely used in computer vision and multimedia applications such as hand tracking, face detection, pose estimation, object recognition, and gesture analysis. -
21
AICGSecEval
A.S.E (AICGSecEval) is a repository-level AI-generated code security
AICGSecEval is an open-source benchmark framework designed to evaluate the security of code generated by artificial intelligence systems. The project was developed to address concerns that AI-assisted programming tools may produce insecure code containing vulnerabilities such as injection flaws or unsafe logic. The framework constructs evaluation tasks based on real-world software repositories and known vulnerability cases derived from CVE records. By simulating realistic development... -
22
Skill Scanner
Security Scanner for Agent Skills
This repository is a public security-focused scanning tool intended to analyze and assess AI agent skills for potential issues, quality concerns, and vulnerabilities. It acts as a scanner that inspects Agent Skills packages to flag structural problems, inconsistencies, or security flaws before they are deployed or integrated into agent workflows. Because agent skills can contain executable instructions and logic, scanning them for risky patterns is essential to prevent inadvertent... -
23
AutoCoder
A long-running autonomous coding agent powered by the Claude Agent
...The core idea is to accelerate software production while preserving correctness and readability, minimizing the cognitive overhead that comes from switching between concept and implementation. Its architecture typically integrates language models with static analysis and template logic so that generated code is not only syntactically valid but also idiomatic and testable. -
24
grepai
Semantic Search & Call Graphs for AI Agents
grepai is a privacy-first, semantic code search CLI designed to replace traditional keyword-based search with meaning-aware queries, letting developers and code tools find relevant code by what it does rather than just text matches. It builds a semantic index of a project using vector embeddings, enabling natural language queries like “authentication logic” to return contextually relevant functions and modules even when naming differs dramatically, making code exploration far more intuitive. In addition to semantic search, grepai offers call graph tracing so developers can understand which functions call or are called by others, aiding impact analysis and confident refactoring. Because it runs 100 % locally, your codebase never leaves your machine, preserving privacy and security while supporting AI agents and custom integrations. -
25
LegacyInsight
Legacy reverse engineering tool
LegacyInsight is an AI-powered reverse engineering platform that transforms legacy software systems into comprehensible business logic. Using cutting-edge GenAI, it analyzes legacy and extracts core operations, business rules, and data transformations—all translated into natural language. LegacyInsight supports enterprise-grade systems built on Java, COBOL, NET and other legacy stacks, helping organizations reclaim understanding of business-critical code.
