facebook/infer

GitHub
https://github.com/facebook/infer

A static analyzer for Java, C, C++, and Objective-C

Stars:
15.7k
Language:
OCaml
Default branch:
main
Last scored:
Overall

At a glance

Rank
#318 of 401
#3 of 4 OCaml repos
Checks passed
6 of 16
Full list below
Best set up for
GPT-5 Codex
Score 63.3
Needs most work for
Aider
Biggest fix: .aider.conf.yml (+14.1 pts)

What it has

What it's missing

What to fix first

Pick an AI agent

Showing fixes for Claude Code

  1. 1
    Test suite
    Add a tests/ (or test/, __tests__/, spec/) directory with runnable tests. Document how to run them in AGENTS.md.
    +13.2 pts
  2. 2
    Type configuration
    Add a type config (tsconfig.json for JS/TS, mypy.ini or pyrightconfig.json for Python). Rust/Go/JVM/Scala/Swift/C#/OCaml/Haskell/Zig are typed by default.
    +7.9 pts
  3. 3
    Pre-commit / git hooks
    Set up pre-commit (.pre-commit-config.yaml), husky, or lefthook to run format+lint on every commit.
    +5.3 pts

Score for each AI agent

Each agent looks for different things in a repo, based on its own docs. Under each score are the three checks it cares about most; the agent's name links to its leaderboard. How each agent is scored →

GPT-5 Codex
#312 of 401
63.3
  • AGENTS.md / CLAUDE.md
  • README
  • Test suite
Kimi CLI
#297 of 401
62.8
  • AGENTS.md / CLAUDE.md
  • Test suite
  • Dependency manifest
Devin
#325 of 401
62.5
  • Reproducible dev env
  • Dependency manifest
  • Test suite
Claude Code
#301 of 401
62.1
  • AGENTS.md / CLAUDE.md
  • Test suite
  • Reproducible dev env
Pi
#300 of 401
62.1
  • AGENTS.md / CLAUDE.md
  • Test suite
  • Linter / formatter config
OpenHands
#324 of 401
57.6
  • CI configuration
  • Dependency manifest
  • Reproducible dev env
Cursor
#328 of 401
54.6
  • Cursor rules (.cursor/rules)
  • README
  • Type configuration
Gemini CLI
#333 of 401
53.6
  • GEMINI.md
  • README
  • Test suite
Aider
#338 of 401
51.4
  • .aider.conf.yml
  • Linter / formatter config
  • Test suite

Does facebook/infer have agent instructions?

An AGENTS.md (or CLAUDE.md) at the root tells AI coding agents how to build, test and work in the repo. A few agents also read a file of their own.

AGENTS.md / CLAUDE.md
AGENTS.md (new tab) · 7,131 characters
Agent-specific files
None: no GEMINI.md, .cursor/rules, .openhands/setup.sh or .aider.conf.yml
Repos that have one
214 of 401 repos on the leaderboard · See examples →

All 16 checks · 6 passed

Substantive (7,131 characters)
.aider.conf.yml· 0% pass
No .aider.conf.yml at repo root
CI configuration· 100% pass
4 GitHub Actions workflows
CONTRIBUTING guide· 100% pass
Guide present
No .cursor/rules/*.mdc or .cursorrules
Manifest present
Has Makefile
GEMINI.md· 0% pass
No GEMINI.md at repo root
License file· 100% pass
License present
Config detected
No .openhands/setup.sh
No pre-commit / husky / lefthook found
README· 70% pass
README present (792 characters)
Manageable size· 20% pass
10001+ files — very large
Test suite· 0% pass
No test directory or test files found
No type config found

How facebook/infer compares

vs leaderboard average
10.0 pts below
Average 68.9
vs OCaml average
2.3 pts below
Average 61.2
Stars among OCaml repos
#1 of 4

Missing here, and how many repos have it

  • Type configuration · passed by 68% of leaderboard repos
  • Test suite · passed by 52% of leaderboard repos
  • Pre-commit / git hooks · passed by 29% of leaderboard repos

One fix for the most agents: Test suite would raise the score for all 9 agents, by up to 14.1 points.

Similar repos

Same language and host first, then the repos closest in overall score.

Add a badge to your README

Paste this at the top of the README. It shows the score, and links back to this page.

Agent friendly score for github/facebook/infer
[![Agent Friendly](https://agentfriendlycode.com/api/badge/github/facebook/infer.svg)](https://agentfriendlycode.com/repo/github/facebook/infer)

Check the score on every pull request

A GitHub Action posts one comment per pull request with how the score changed and why.