B2IGE Verify MCP
A community-driven MCP server providing deterministic verification for AI-generated code. It executes hidden tests and behavior diffs to prove software correctness without relying on the generating agent for self-grading, producing bounded pass/fail results backed by evidence.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Run hidden tests against AI-generated code
- Verify behavior diffs between implementations
- Prove side-effects without agent self-grading
- Generate evidence-backed pass/fail results
Source and maintenance
- Last repository push
- Latest release
- v0.3.0
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb
{
"transport": "stdio",
"fileSha256": "f205d467a639747ce684bb32c4a560e6f63ade73cddeddbb822aafd00a48c884",
"identifier": "https://github.com/b2ige2-a11y/b2ige-verify/releases/download/v0.1.0/b2ige-verify-0.1.0.mcpb",
"registryType": "mcpb"
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Maintenance history
Public check and source-refresh events. Editorial and ownership records remain private.
- · repository · passed · metadata changed · updated
- · backfill · recorded · Pre-expansion baseline; unobserved rich metadata remains unknown
Let your agent find its tools
Find servers like B2IGE Verify MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.