B2IGE Verify
Local installio.github.b2ige2-a11y/b2ige-verify
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
2,966 servers in Developer Tools
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
Checks GLB assets against a spec without Blender and embeds the measured proof inside the GLB.
Train, track and query models on a running dashAI instance. Read-oriented, no delete tools.
Bounded, source-write-free Rust correctness tools grounded in Cargo and rustc output.
Analyzes codebases with tree-sitter and generates AGENTS.md files for AI coding agents.
Query your DevExpress XAF app: entities, controllers, actions, rules, Model Editor.
Command wrapper MCP server for coding agents, compression, workflows, and local automation.
Your coding agent asks Tada to work through a feature in a real browser and gets back a verdict.
Agent-PLC MCP Server: read & diagnose Modbus / FINS / MELSEC / S7 / IEC 104 / ENIP / OPC UA PLCs.
Read-only MCP server for official Tauri 2 documentation snapshots.
Local-first MCP runtime for coding agents with safe workspace access, AST/LSP navigation, and Git.
MCP server for analyzing V8/Chrome CPU profiles with line-level tick attribution.
MCP server for Sublime Text 4. Lets AI coding agents read and control a running ST instance.
Deterministic UI policy, discovery and audits for coding agents across seven ecosystems.
Read local AI coding paths, decisions, and branches as an in-host voyage map.
Stops agents double-firing side effects: 1,000 racing duplicates, exactly one execution.
Manage dev container environments via MCP (Docker, DevPod, Codespaces).
Tiny sphere-physics engine for three.js games: spawn, step, raycast, InstancedMesh-ready positions
Read-only TwinCAT ST intelligence: resolve symbols, library APIs, docs, validate PLC code.
Siemens TIA Portal MCP server — AI-assisted PLC programming. 19 tools, 230 actions.
Compiler-precise code property graph for C, Python, and TypeScript, navigable over MCP.
Safety-ranked open-source component discovery for agents across six package ecosystems.
AI Bill of Materials (AI-BOM) generator + auditor MCP — CycloneDX ML-BOM, SPDX 3.0 AI profile, EU AI
Playwright-style MCP to inspect, control, and debug PySide6 desktop GUIs.
MCP server that reverse-engineers a locked rebuild spec from an existing app.
MCP server for React Native/Expo runtime debugging, inspection, and automation via Metro/CDP
Deterministic visual inspection for AI agents. Overlap, overflow, contrast, quality.
Build, run and live-test FiveM servers with AI agents: RCON, DevCon, window control, mcpb bridge.
Code review against your team standards, before the pull request: generator finds, judge confirms
Capture HTTP, email, and DNS callbacks with webhook.site from MCP clients.