| Devin |
https://cognition.ai/ |
tool |
integrated |
devin |
Discovered in docs/tools/development_ops/terminus-2.md |
| CrossHair |
https://github.com/pschanely/CrossHair |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/symbolic-mcp.md |
| Z3 Solver |
https://github.com/Z3Prover/z3 |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/symbolic-mcp.md |
| Hypothesis |
https://hypothesis.works/ |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/fuzzing-mcp-server.md |
| asteval |
https://github.com/newville/asteval |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/fuzzing-mcp-server.md |
| Lens |
https://k8slens.dev/ |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/cloud_code.md |
| Skaffold |
https://skaffold.dev/ |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/cloud_code.md |
| Jupyter |
https://jupyter.org/ |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/jupyter-kernel-mcp.md |
| FastMCP |
https://github.com/jlowin/fastmcp |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/jupyter-kernel-mcp.md |
| ripgrep |
https://github.com/BurntSushi/ripgrep |
tool |
integrated |
ripgrep |
Discovered in docs/tools/development_ops/desktop-commander-mcp.md |
| Docker |
https://www.docker.com/ |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/claude-code-container-mcp.md |
| AWS Bedrock |
https://aws.amazon.com/bedrock/ |
tool |
integrated |
2026-04-07 |
Discovered in docs/tools/development_ops/claude-code-container-mcp.md |