ai-devtools

Here are 3 public repositories matching this topic...

tokyo-dal / awesome-ai-coding-tools

A curated list of AI-powered coding tools

devtools dev cursor dev-tools ai-development ai-developer-tools ai-coding-tools cursor-ai ai-coding ai-coding-assistant ai-coding-agent ai-devtools coding-ai kilocode

Updated Jun 30, 2025

mizazhaider-ceh / Ai-CMD-X

Star

AI-CMD-X turns plain English into real Windows commands — making the terminal smarter, faster, and incredibly beginner-friendly. Master your machine with the power of AI!

tools ai script commands cybersecurity cmd pyhton windows-automation penetration-testing-tools python-tool ai-assistant ai-automation aitools cybersecurity-automation ai-for-cybersecurity windows-terminal-tools gemini-ai-projects ai-devtools security-utilities

Updated Apr 28, 2025
Python

wizzardx / sly-probe

Star

A universal, language-agnostic code analysis and verification engine. LLM-powered. Formal-methods-backed. Runtime-ready. Think mypy meets miri meets Coq—for any language.

rust tree-sitter static-analysis proof-assistant developer-tools code-quality dafny formal-verification language-agnostic code-linter code-security ada-spark ai-devtools universal-tooling verification-engine

Updated May 30, 2025

Improve this page

Add a description, image, and links to the ai-devtools topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ai-devtools topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly