Searching protocol for "path-normalization"
Automate RwEq proofs with path tactics in Lean.
Automate WebWorks AutoMap builds headlessly.
Windows-friendly grep that prevents path issues.
Unified container runtimes with Linux safeguards.
Bootstrap your Claude workspace.
End-to-end MCP data analysis with auto-tools.
Secure your skills: Audit for risks.
Unified storage for notes
Build & package Bitrix24 static apps
Safe filesystem operations
Evolve and optimize skills from every dialogue.
Go best practices for robust, maintainable code.