Showing 9 open source projects for "logic analysis"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch 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.
    Start Free Trial
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 1
    zhangxuefeng-skill

    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. ...
    Downloads: 75 This Week
    Last Update:
    See Project
  • 2
    Claude for Financial Services

    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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    HiClaw

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Codex plugin for Claude Code

    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. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 5
    AI Marketing Skills

    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. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Anthony Fu's Skills

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    Skill Scanner

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    AutoCoder

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    grepai

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • Previous
  • You're on page 1
  • Next
Auth0 Logo