hermetic-ai
This server does not currently have a deployable release on Glama. Follow the repository's setup instructions to install and configure it for your MCP client, including any required credentials and local dependencies.
Hermetic AI MCP Server
Hermetic AI Platform - MCP Server for Claude Code CLI and Claude Desktop.
Features
Code Verification: Verify code quality without mocking
Skeptical Analysis: Multiple verification passes with skepticism
Forensic Reports: Generate detailed code analysis
Memory System: Store and search platform memory
Project Detection: Automatic project context detection
Sequential Thinking: Step-by-step problem solving
Related MCP server: LATS MCP Server
Installation
One-Command Installation
# Using pip (system Python)
pip install --user git+https://github.com/ramz/hermetic-ai-mcp.git --break-system-packages
# Or using pipx (recommended)
pipx install git+https://github.com/ramz/hermetic-ai-mcp.git
# Or using uv (if you have it)
uv pip install git+https://github.com/ramz/hermetic-ai-mcp.gitThe installation automatically:
Installs the
hermetic-mcpcommandAdds it to your PATH
Makes it available for Claude configuration
Configuration
After installation, configure Claude to use the MCP server:
Automatic Configuration
hermetic-mcp --configureThis will automatically detect and update your Claude configuration file.
Manual Configuration
For Claude Code CLI
Edit ~/.config/claude/config.json:
{
"mcpServers": {
"hermetic-ai": {
"command": "hermetic-mcp",
"args": [],
"env": {
"PYTHONUNBUFFERED": "1"
}
}
}
}For Claude Desktop
Edit ~/.config/claude/claude_desktop_config.json:
{
"mcpServers": {
"hermetic-ai": {
"command": "hermetic-mcp",
"args": [],
"env": {
"PYTHONUNBUFFERED": "1"
}
}
}
}Verification
Test the installation:
# Test MCP protocol
echo '{"jsonrpc":"2.0","method":"initialize","params":{"protocolVersion":"2024-11-05","capabilities":{},"clientInfo":{"name":"test","version":"1.0"}},"id":1}' | hermetic-mcp
# Should return a JSON response with "hermetic-ai" server infoAvailable Tools
Once configured, the following tools are available in Claude:
Core Tools
verify_code: Verify code for quality, security, and completenessverify_with_skepticism: Run multiple verification passes with skepticismgenerate_forensic_report: Generate detailed forensic analysis of codesequential_thinking: Process step-by-step thinking for complex problems
Memory Tools
search_memory: Search platform memorystore_memory: Store information in memorystore_universal_learning: Store universal patternsstore_project_memory: Store project-specific informationsearch_all_memories: Search across all memory layerslearn_from_error: Learn from errors and store solutions
Project Tools
detect_project: Detect and analyze current projectset_current_project: Set the current project contextget_platform_status: Get current platform statusget_project_architecture: Get project architecture graphget_relevant_context: Get relevant context for a query
Documentation Tools
check_documentation: Check if documentation existscreate_documentation: Create project documentation
Usage Examples
In Claude, you can use the tools like this:
Claude: Let me verify this code using the hermetic-ai tools.
[Uses verify_code tool]
The code verification shows...Development
To contribute or modify:
git clone https://github.com/ramz/hermetic-ai-mcp.git
cd hermetic-ai-mcp
pip install -e . --user --break-system-packagesUninstallation
# Remove the package
pip uninstall hermetic-ai-mcp
# Remove from Claude config manuallyTroubleshooting
Command not found
If hermetic-mcp is not found after installation:
export PATH="$HOME/.local/bin:$PATH"
echo 'export PATH="$HOME/.local/bin:$PATH"' >> ~/.bashrcMCP not showing in Claude
Restart Claude Code CLI after configuration
Check the config file location matches your Claude installation
Verify the command works:
hermetic-mcp --version
License
Proprietary - All rights reserved
This server cannot be deployed
Maintenance
Related MCP Connectors
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
AI-native programming language and toolchain for accountable, verifiable agent-driven development.
Read-only AI coding tools for change verification, release readiness, capacity, and guidance.
Context and control for any AI. Agent identity, scoped access, and proof across tools.
Related MCP Servers
- AlicenseAqualityCmaintenanceAn adversarial code verification system that uses a Verifier-Critic debate loop to systematically uncover security, correctness, and performance issues. It implements the Socratic method to provide deep semantic analysis and dialectical reasoning beyond traditional static linting.3631 npm4MIT
- FlicenseNot gradedqualityDmaintenanceEnables systematic code investigation using Monte Carlo Tree Search to explore codebases, analyze files, and provide intelligent insights. It features persistent memory and pattern learning for improved investigations.-
- AlicenseNot gradedqualityAmaintenanceEnables AI coding agents to access evidence-backed repository memory, code graph, project DNA, and deterministic change validation so they understand design decisions, past bugs, and invariants while working.1,677 npm13Functional Source , Version 1.1, ALv2 Future
- AlicenseNot gradedqualityAmaintenanceEnables AI coding agents to discover toolchain availability, audit code for stubs, perform fail-closed verification with real compilers and sandboxed tests, and run Qwen-based repair loops before executing or presenting code.MIT