|
ProofCI — Evidence for every pull request
ProofCI maps requirements to implementation, tests, and CI evidence before code is merged.
|
80 % |
|
ReproAudit - Reproducibility Audits for Research Code
Automated reproducibility audits for scientific research code. Know exactly what's missing from your code—and fix it—before others try to reproduce your resu...
|
78 % |
|
Alongside. Nobody has read your code.
|
77 % |
|
CodeTruss — The First-Pass Gate for AI-Written Code
Routine agent changes clear the checks and pass; material changes escalate for human sign-off. Deterministic local analyzers, signed receipts, and hosted ful...
|
76 % |
|
Vibelint.xyz
Vibelint is the behavioral linter for the AI era. Catch logic drift, auto-generate adversarial tests, and trace every line back to its original intent. Stop...
|
76 % |
|
Ledgerful — Local-First Code Change Risk Analysis
Ledgerful runs on your machine to analyze repo changes, record signed provenance, plan verification, and export audit evidence without uploading source code...
|
76 % |
|
Codecop - the merge gate for AI-generated pull requests
Your AI agents write the code. Codecop decides what is safe to merge, and proves it. One verdict per PR, every finding with evidence.
|
76 % |
|
Mr. Nudger — Work that gets seen through
Mr. Nudger keeps multi-person work moving. Assign the next step, follow up in Slack, and see the whole workflow through.
|
75 % |
|
Oddit | Prove Your Code. Build Your Credibility.
AI-powered platform to discover open source issues, verify your contributions, and build a verified developer portfolio. Ship. Verify. Showcase.
|
75 % |
|
Testura — AI Testing for Vibe-Coded Apps
Connect your GitHub repo. Testura reads your code, generates tests, runs them, and tells you what broke — zero manual work required.
|
75 % |
|
SimpleBeacon — Turn AI Code Debt Into Audit Evidence Before Regulators Find It
SimpleBeacon: browser-local AI artifact scanner for text and code. Catch AI hallucinations, placeholder text, credential leaks, and compliance gaps before th...
|
75 % |
|
RepoProof — Evidence governance for software delivery
Verify what AI-generated code actually delivers with attributable findings, requirement evidence, and auditable release records.
|
75 % |
|
LLM Cost & Eval Correctness Audits — Wrong Numbers
Your Claude bill is bigger than your dashboard says. Usually cached tokens. I find the accounting bug: 24 merged fixes across 13 organisations.
|
75 % |
|
Corund — gate-integrity for AI-generated code
Corund is a merge check that proves an AI agent's tests can fail: it reverts the change and requires the new tests to go red, restores it and requires green.
|
75 % |
|
Auditrail
Auditrail checks smart contract audit reports against the code that is actually deployed, and keeps checking after every upgrade.
|
75 % |
|
Truecount
Truecount reviews pull requests and audits GitHub repositories: it breaks your changed code to see whether your tests notice, and checks your docs against yo...
|
75 % |
|
Faultmark
We find the logic and security bugs your scanners miss, verify every one against your source, and hand you a concrete fix. You only pay for the bugs you keep.
|
74 % |
|
AI Hallucination Checker & Output Validator | Taplid
Audit AI and structured outputs against supplied documents, policies, code, and schemas. Get ALLOW, REVIEW, or BLOCK with a trust score, issues, and a next s...
|
74 % |
|
AI Code Review for GitHub · Veridical.dev
Evidence-backed AI code review for GitHub pull requests, with verified inline findings, exact-head receipts, and safe, review-wide fixes.
|
74 % |
|
Tamper-Proof Audit Logs | checksum.dev
Cryptographically signed audit trails with Ed25519 signatures, daily Merkle trees, and compliance PDF reports. Built for developers. Trusted by compliance te...
|
74 % |
Detected social media networks