formal-ai 0.167.0

Formal symbolic AI implementation with OpenAI-compatible APIs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

substitution_rules
  id "program_plan_rules"
  rule "path_argument_list_files"
    order "10"
    event "manual"
    when "request:modifier -> path_argument"
    replace "request:task -> list_files"
      with "request:task -> list_files_arg"
  rule "path_argument_list_files_reverse_sort"
    order "10"
    event "manual"
    when "request:modifier -> path_argument"
    replace "request:task -> list_files_reverse_sort"
      with "request:task -> list_files_arg_reverse_sort"
  rule "reverse_sort_list_files"
    order "20"
    event "manual"
    when "request:modifier -> reverse_sort"
    replace "request:task -> list_files"
      with "request:task -> list_files_reverse_sort"
  rule "reverse_sort_list_files_arg"
    order "20"
    event "manual"
    when "request:modifier -> reverse_sort"
    replace "request:task -> list_files_arg"
      with "request:task -> list_files_arg_reverse_sort"