Genifai

AI-powered test generator that creates test cases for target functions in C programs.
Uses static analysis and call graphs, powered by Claude Anthropic.

Generate + Verify + AI = Genifai

🚧 Temporarily Suspended (Posted: Dec 13, 2025)

Due to unexpectedly high traffic, the server is currently suspended. We're working to ensure stability and will resume service as soon as possible.

Updates on the restart schedule will be posted here.

👉 Join the Waitlist

Get notified when we reopen: https://forms.gle/HvfdRrDi8gDNYZci6

Expected reopening: Early March 2026

Thank you for your interest and patience.

🍏 Free to use!

You can use Genifai without any registration.
Only CLAUDE_API_KEY is required to get started (and AZURE_ENDPOINT if using Azure Databricks).

Installation

pip install genifai

Commands

Test generation

• genifai keys generate - Generate a new Genifai API key for authentication
• genifai configure - Set up API credentials and defaults
• genifai analyze - Extract metadata from source code
• genifai graph - Generate call graph from metadata
• genifai generate - Generate test cases using AI

For detailed testcase generation usage and options, see docs/testcase.md.

C-Rust translation

• genifai reformat - Assign test case IDs to target functions and consolidate test data
• genifai preprocess_macro - Analyze and resolve macro definitions for the conversion pipeline
• genifai preprocess_all - Instrument and prepare source files for translation
• genifai translate_compile - Translate C to Rust with iterative compilation error repair
• genifai translate_semantics - Translate C to Rust with compilation and semantic (test) failure repair

For detailed C-Rust translation usage and options, see docs/translation.md.

Build Environment

Your target program will be built on our server to extract metadata. See docs/build-environment.md for details on the build environment, pre-installed packages, and how to add custom dependencies.

Supported languages

• C

LLM model

• Genifai uses Claude Opus 4.6 (the latest model from Anthropic) for test case generation. This ensures:
  • High-quality test cases with deep code understanding
  • Efficient and accurate static analysis integration
• Genifai is exclusively powered by Claude (Anthropic), and we have no plans to integrate with other AI APIs. We believe Claude provides the best understanding of code structure and test generation quality.

LLM API type

You can use one of the following interfaces.

• claude: Direct Anthropic API
  • Use your Claude API key from console.anthropic.com
• claude_azure: Azure Databricks Service with Claude
  • Use Claude models deployed through Microsoft Azure
  • Requires Azure subscription and Claude model deployment in your Azure Databricks resource
  • See Azure setup guide for details

Environment variables

GENIFAI_API_TYPE      # LLM API type
GENIFAI_API_KEY       # Your Genifai API key
CLAUDE_API_KEY        # Your Claude API key
AZURE_ENDPOINT        # Your Azure endpoint

Requirements

• Python 3.8+
• Valid Claude API key

License

MIT

Roadmap 🗺️

• Genifai currently specializes in test case generation for C programming language.
• We are planning to expand support to Rust test case generation, bringing the same AI-powered testing capabilities to the Rust ecosystem.
• Genifai currently targets standalone programs with main() functions. Library-only projects (without main entry points) will be supported in future releases.
• Currently, only the Genifai CLI tool is available. A function-based Genifai API is planned for future release.
• Currently, test case generation focuses on reaching target functions. We plan to add an option for branch coverage-based test case generation in the future.
• We are planning to implement C-to-Rust code translation via the genifai translate command, enabling automated migration of C codebases to Rust.

Feedback & support 💬

We're in early development and your feedback is invaluable!

Help us improve Genifai! Share your thoughts: 👉 Email us: genifai.dev@gmail.com

Contact

• Email: genifai.dev@gmail.com

Website

• https://genifai-web.vercel.app