Search Results for "ai coding"

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts.

Claude Scientific Skills is a large open source collection of ready-to-use scientific capabilities that extend AI coding agents into full research assistants. The project provides more than 170 curated skills covering domains such as genomics, drug discovery, medical imaging, physics, and advanced data analysis. Each skill bundles documentation, examples, and tool integrations so agents can reliably execute complex multi-step scientific workflows.

Open Source Text to CAD Harness is an open-source framework that enables the generation of parametric 3D CAD models using natural language prompts interpreted by AI coding agents. It acts as a harness that converts text descriptions into source-controlled CAD scripts, which are then compiled into geometric models using tools like OpenCascade and build123d. The system emphasizes reproducibility by storing CAD logic as editable code rather than opaque binary files, allowing iterative refinement through agent-driven workflows. ...