change: use model library agent

[OrestesK]

Probably easier to focus on if certain behaviors were preserved instead of looking at code diffs

[assert-app]

Review on Assert →

• Migrate to model_library Agent Framework
  • Core Agent Implementation
  • Agent Hook Functions
  • Public API Function
  • Verification Logic Update
• Migrate Tools to model_library Tool Classes
  • LoogleTool Class
  • RunCodeTool Class
  • SubmitProofTool Class
• Extract MCP Client Infrastructure
  • Create mcp_client.py
  • MCP Helper Functions
  • Update Import Statements
  • Suppress Noisy Log Messages
  • Simplify MCP Error Messages
• Adapt Result Handling to AgentResult
  • Prover Result Updates
  • Custom Model Output Adapter
  • Result Aggregation
• Improve Output Directory Management
  • Resolve Run Directory from Agent
  • Use BASE_LOG_DIR Constant
  • Consolidate Result Writing
  • Return Summary from Pipeline
• Simplify Logging and Output
  • Use Print Statements
  • Print Errors to Stderr
  • Remove Verbose Logging
  • Remove Custom Logging Infrastructure
  • Standardize Logger Usage
• Optimize Service Problem Lookup
  • Add Problem Index
  • Optimize get_problem Method
• Add Environment Variable Support
  • Add dotenv Integration
  • Ignore .env Files
  • Document .env Setup
• Clean Up Build Artifacts
  • Delete egg-info Files
  • Update Gitignore
• Update Dependencies
  • Restructure Dependencies
  • Update Lock File
• Improve Developer Experience
  • Add Makefile
  • Remove Pre-commit Config
  • Update Documentation
  • Enable Loogle by Default
• Update Tests for New Architecture
  • Remove Old Tool Tests
  • Update Integration Tests
  • Simplify Recovery Tests
• Code Cleanup and Refinements
  • Remove Unused Code
  • Fix Regex Flag
  • Improve Docstrings