leanprover-community/archive
Replacement for the archive repo
Platform-specific configuration:
{
"mcpServers": {
"archive": {
"command": "npx",
"args": [
"-y",
"archive"
]
}
}
}Add the config above to .claude/settings.json under the mcpServers key.
Loading reviews...