Local-first MCP password and credential manager for AI agents. Use passwords, API keys, SSH identities, and TOTP without exposing hidden plaintext to the model.
jimoto-no-llm/rustdshFast Rust launcher for DeepSeek Harness, with clear Claude Code/Codex migration, model setup and lightweight local tools
keithadler/leanstudioA native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
Quality-Max/9lives-runnerStandalone Go runner and @9l/playwright SDK for bounded Playwright execution with validated receipts.
hojttaler/ResolvrFree, source-available desktop GraphQL client and IDE for macOS, Linux and Windows: tabs that survive crashes, collections in git-friendly files, environments that refresh tokens, flows as smoke tests