
MaruCheck
github.com/kidus-m/marucheck- Category
- Developer Tools
- Rank
- No. 1185Tools index
- Pricing
- Open Source
- Platform
- cli
- Type
- TOOL
- GitHub
- 5 stars
- Latest release
- v0.3.0
- Date
About
MaruCheck is a local-first CLI that verifies AI-generated code changes against human-owned "Quality Contracts" the coding agent cannot edit, catching cases where a green test suite hides silently altered behavior (like a quota exploit). It runs deterministic risk scoring, mutation testing, and semantic drift detection, and exposes an MCP server so an agent can request—but not grant—its own verification verdict.
What it can do
Verify AI-generated code diffs against versioned Quality Contracts
Code diff → Verification verdict
Run deterministic risk scoring on code changes
Code diff → Risk score
Perform mutation testing on code changes
Code diff → Mutation test results
Detect semantic drift between code behavior and approved behavior
Code diff → Drift report
Expose an MCP server allowing an agent to request a verification verdict without granting it
MCP request → Verification verdict
Block changes that pass tests but violate approved behavior
Code diff and Quality Contract → Pass/block decision
Tags
Tech Stack
Media
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.